Publications

Publications de

Communications dans un congrès
Thèses
  • Abdeldjalil Boudjadar

    Sémantique Compositionnelle et Raffinement de Systèmes Temporisés. Application aux Automates temporisés d’Uppaal et au Langage Fiacre

    Thèse de doctorat, Université de Toulouse, décembre 2012.

    BibTeX

Monographies

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par