AFSEC

Parution du traité IC2 AFSEC :

2nd November 2008

Traité IC2 (Hermes Lavoisier), série Informatique et systèmes d’information :
Approches formelles des systèmes embarqués communicants
sous la direction de
Olivier H. Roux et Claude Jard

Table des matières :

  • Chapitre 1. Modéliser et vériï¬?er : pourquoi, comment ?
  • Chapitre 2. Les modèles du temps réel
  • Chapitre 3. Model Checking temporisé
  • Chapitre 4. Contrôle des systèmes temporisés
  • Chapitre 5. Diagnostic des systèmes temporisés
  • Chapitre 6. Vériï¬?cation quantitative de chaînes de Markov
  • Chapitre 7. Outils de Model Checking
  • Chapitre 8. Outils pour l’analyse des modèles hybrides

Liste des auteurs :

Gerd BEHRMANN, Béatrice BÉRARD, Franck CASSEZ, Thao DANG, Alexandre DAVID, Susanna DONATELLI, Jean-Pierre ELLOY, Goran FREHSE, Antoine GIRARD, Serge HADDAD, Claude JARD, Kim G. LARSEN, Colas LE GUERNIC, Didier LIME, Morgan MAGNIN, Nicolas MARKEY, Paul PETTERSSON, Jacob Illum RASMUSSEN, Olivier H. ROUX, Stavros TRIPAKIS et Wang YI.

Télécharger le descriptif

Leave a Reply

You must be logged in to post a comment.