Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle / Amira Methni ; sous la direction de Kamel Barkaoui et de Serge Haddad

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Logiciels -- Vérification

Méthodes formelles (informatique)

Systèmes informatiques -- Inspection

Classification Dewey : 005.12

Classification Dewey : 005.131

Barkaoui, Kamel (1954-....) (Directeur de thèse / thesis advisor)

Haddad, Serge (1956-....) (Directeur de thèse / thesis advisor)

Kordon, Fabrice (Président du jury de soutenance / praeses)

Petrucci, Laure (Rapporteur de la thèse / thesis reporter)

Pommereau, Franck (1974-....) (Rapporteur de la thèse / thesis reporter)

Ben Hedia, Belgacem (1978-....) (Membre du jury / opponent)

Lemerre, Matthieu (1983-....) (Membre du jury / opponent)

Bensalem, Saddek (Membre du jury / opponent)

Conservatoire national des arts et métiers (France) (Organisme de soutenance / degree-grantor)

École doctorale Informatique, télécommunications et électronique de Paris (Ecole doctorale associée à la thèse / doctoral school)

Centre d'études et de recherche en informatique et communications (Paris) (Laboratoire associé à la thèse / thesis associated laboratory)