Publications

Publications de

Articles dans une revue
Communications dans un congrès
Thèses
  • Miloud Rached

    Spécification et vérification des systèmes temps réel réactifs en B

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

    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par