Articles liés à Compositional Verification of Concurrent and Real-Time...

Compositional Verification of Concurrent and Real-Time Systems - Couverture souple

Juan, Eric Y.T.; Tsai, Jeffrey J.P.

 
9781461510109: Compositional Verification of Concurrent and Real-Time Systems
Couverture souple
ISBN 10 : 1461510104 ISBN 13 : 9781461510109
Editeur : Springer, 2011

L'édition de cet ISBN n'est malheureusement plus disponible.

Synopsis

List of Figures. List of Tables. Preface. Acknowledgments. 1. Introduction. 2. Verification Techniques for Concurrent Systems. 3. Multiset Labeled Transition Systems. 4. Compositional Verification Using MLTS. 5. Compositional Verification Using Petri Nets. 6. Tools and Experiments. 7. Delay time Petri Nets and Net Reduction. References. Index.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

  • ÉditeurSpringer
  • Date d'édition2011
  • ISBN 10 1461510104
  • ISBN 13 9781461510109
  • ReliurePaperback
  • Langueanglais
  • Coordonnées du fabricantnon disponible

(Aucun exemplaire disponible)

Chercher:



Créez une demande

Vous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !

Créez une demande

Autres éditions populaires du même titre

9781402070259: Compositional Verification of Concurrent and Real-Time Systems

Edition présentée

ISBN 10 :  140207025X ISBN 13 :  9781402070259
Editeur : Springer-Verlag New York Inc., 2002
Couverture rigide