Items related to Compositional Verification of Concurrent and Real-Time...

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.

  • PublisherSpringer
  • Publication date2011
  • ISBN 10 1461510104
  • ISBN 13 9781461510109
  • BindingPaperback
  • LanguageEnglish

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

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