Publications

Publications de

Articles dans des revues internationales Articles dans des revues nationales Conférences et workshops internationaux avec actes édités et comité de lecture Conférences et workshops nationaux avec actes édités et comité de lecture Thèses et habilitations
  • 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
et
Ordre chronologique (année) Décroissant Croissant