Nos partenaires

CNRS

Rechercher





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

Publications

Miloud Rached

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

Thèses et habilitations / Ph.D Theses and Habilitation Theses
  • 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