Identifiant pérenne de la notice : 273700693
Notice de type
Personne
A correct by construction approach for the modeling and the verification of cyber-physical
systems in Event-B / Meryem Afendi ; sous la direction de Régine Laleau et Amel Mammar.
Thèse de doctorat : Informatique : Paris 12 : 2022