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 OdileNasr

Articles dans des revues internationales
  • Miloud Rached, Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali

    Une Extension Temporisée de la Méthode B pour la Spécification et la Vérification des Systèmes Temps-Réel

    Dans : Journal Européen des Systèmes Automatisés (JESA), Hermès Science, Numéro spécial Approches formelles pour la spécification et la verification des systèmes embarqués temps-réel, Vol. 42 N. 9, p. 1061-1084, décembre 2008.

    BibTeX

Articles dans des revues nationales 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 Rapports Thèses et habilitations
  • Odile Nasr

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

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

    BibTeX