Publications

Publications de

Articles dans une revue
Communications dans un congrès
Thèses
  • 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

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par