Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Odile Nasr

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Articles de revues internationales / International journal papers

  • 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, 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 de revues nationales / National journal papers

Conférences et workshops internationaux / International conference papers

Conférences et workshops nationaux / National conference papers

Conférences sans actes publiés / Conference papers without published proceedings

Rapports / Reports

Thèses et habilitations / Ph.D Theses and Habilitation Theses
  • Odile Nasr. Spécification et Vérification des ordonnanceurs temps réel en B. Thèse de doctorat, Université Paul Sabatier, novembre 2007.
    BibTeX