Publications

Publications de

Articles dans une revue
Communications dans un congrès
Thèses
  • Iulia Dragomir

    Contract-based Modeling and Verification of Timed Safety Requirements for System Design in SysML

    Thèse de doctorat, Université Paul Sabatier, décembre 2014.

    Résumé
    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par