Yakoub Nemouchi | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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. ∙

Success!

An error occurred