Följ
Mohamed-Habib Essoussi
Mohamed-Habib Essoussi
System Engineer, Airbus
Verifierad e-postadress på airbus.com
Titel
Citeras av
Citeras av
År
Formalise to automate: deployment of a safe and cost-efficient process for avionics software
A Brahmi, D Delmas, MH Essoussi, F Randimbivololona, A Atki, T Marie
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), 2018
172018
Industrial use of a safe and efficient formal method based software engineering process in avionics
A Brahmi, MJ Carolus, D Delmas, MH Essoussi, P Lacabanne, VM Lamiel, ...
Embedded Real Time Software and Systems (ERTS 2020), 2020
92020
Preuve formelle de code à partir de diagramme d'activités UML
MH Essoussi, A Fernandes Pires, S Duprat
Conférence en IngénieriE du Logiciel, 2013
22013
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–3