Yakoub Nemouchi - Publications - York Research Database

3 Article
2 Conference contribution
1 Chapter (peer-reviewed)

2 results

Filter

2020

Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study
Foster, S. D., Nemouchi, Y., O'Halloran, C., Tudor, N. & Stephenson, K., 7 Oct 2020, FormaliSE '20: Proceedings of the 8th International Conference on Formal Methods in Software Engineering. ACM
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File
2019

Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods
Nemouchi, Y., Foster, S. D., Gleirscher, M. & Kelly, T. P., 22 Nov 2019, (E-pub ahead of print) Integrated Formal Methods: Proceedings of the 15th International Conference. Springer, Vol. 11918. p. 379-398 20 p. (LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File