Compositional Verification of Concurrent and Real-Time Systems - Softcover

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

 
9781461510109: Compositional Verification of Concurrent and Real-Time Systems
Softcover
ISBN 10: 1461510104 ISBN 13: 9781461510109
Publisher: Springer, 2011

This specific ISBN edition is currently not available.

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.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2011
Language
English
ISBN 10 
1461510104
ISBN 13 
9781461510109
Binding
Paperback

Other Popular Editions of the Same Title

9781402070259: Compositional Verification of Concurrent and Real-Time Systems: 676 (The Springer International Series in Engineering and Computer Science, 676)

Featured Edition

ISBN 10:  140207025X ISBN 13:  9781402070259
Publisher: Springer, 2002
Hardcover