Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Iulia Dragomir

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Articles de revues internationales / International journal papers

Articles de revues nationales / National journal papers

Conférences et workshops internationaux / International conference papers

Conférences et workshops nationaux / National conference papers

Thèses et habilitations / Ph.D Theses and Habilitation Theses
  • 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