Yakoub Nemouchi | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Mario Gleirscher
24 publications
Simon Foster
19 publications
Ran Wei
12 publications
Tim Kelly
6 publications

research

∙ 09/25/2020

Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM

Assurance cases are often required to certify critical systems. The use ...

0 Simon Foster, et al. ∙

research

∙ 05/15/2019

Mechanised Assurance Cases with Integrated Formal Methods in Isabelle

Assurance cases are often required as a means to certify a critical syst...

0 Yakoub Nemouchi, et al. ∙