Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=184992354.

A stepwise compositional approach to model and analyze system C designs at the transactional level and the delta cycle level / Nesrine Harrath ; sous la direction de Kamel Barkaoui et de Bruno Monsuez

Date :

Editeur / Publisher : , 2014

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Catalogue Worldcat

Méthodes formelles (informatique) -- Thèses et écrits académiques

Automates -- Thèses et écrits académiques

Classification Dewey : 005.1

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

Monsuez, Bruno (Directeur de thèse / thesis advisor)

Paradinas, Pierre (1957-....) (Président du jury de soutenance / praeses)

Mérigot, Alain (Rapporteur de la thèse / thesis reporter)

Shawky, Mohamed (1963-....) (Rapporteur de la thèse / thesis reporter)

Bouzefrane, Samia (1965-....) (Membre du jury / opponent)

Vedrine, Franck (Membre du jury / opponent)

Li, Zhiwu (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 (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)