Publications

Publications de

Articles dans une revue
Communications dans un congrès
Thèses
  • Odile Nasr

    Spécification et Vérification des ordonnanceurs temps réel en B

    Thèse de doctorat, Université Paul Sabatier, novembre 2007.

    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par