‪Mohamed-Habib Essoussi‬ - ‪Google Académico‬

Obter o meu próprio perfil

Citado por

	Todos	Desde 2019
Citações	28	22
Índice h	2	2
Índice i10	1	1

0

6

3

201420152016201720182019202020212022202320242 4 3 5 6 6 1 1

Mohamed-Habib Essoussi

Mohamed-Habib Essoussi

System Engineer, Airbus

Email confirmado em airbus.com

Navigation systems Avionics software formation methods MBSE


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
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	17	2018
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	9	2020
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	2	2013

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–3