Updates
Latest Tweet
What's New?
Check out for latest innovation, a computer based training video collection
Like this Page
Integrated Formal Methods
PreviewsAmazon Readr |
Share this Great Computer eBookLink to this page |
Our CollectionPrevNext |
|
The papers are devoted to automate the analysis program, the state / event-based verification, formalizing the graphical understanding, improvement, object-orientation, and hybrid automata time, the framework of integration, verifying interactive systems, and testing and assertions.
Computer eBook Details
- ISBN-10: 3540213775
- ISBN-13: 9783540213772
- Publisher: Springer
- Pages: 541
- Date: May 2004
- Series: Lecture Notes in Computer Science