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

Livre 86 sur 260: The Springer International Series in Engineering and Computer Science

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.

Éditeur
Springer
Date d'édition
2011
Langue
anglais
ISBN 10 
1461510104
ISBN 13 
9781461510109
Reliure
Paperback
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

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 : Kluwer Academic Publishers, 2002
Couverture rigide