Publications

Recherche de publications

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par
et
Ordre chronologique (année) Décroissant Croissant

Publications de NingGe

Articles dans des revues internationales 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 Conférences sans actes publiés
  • Ning Ge, Marc Pantel, Xavier Crégut

    Probabilistic Failure Analysis in Model Validation & Verification

    Dans : Formalisation des Activités Concurrentes, Toulouse, 16/04/2014-17/04/2014.

    BibTeX

Thèses et habilitations
  • Ning Ge

    Property Driven Verification Framework: Application to Real-Time Property for UML-MARTE Software Designs

    Thèse de doctorat, Institut National Polytechnique de Toulouse, mai 2014.

    BibTeX