Modeling And Verification Of Real-time Systems
by Nicolas Navet /
2008 / English / PDF
2.2 MB Download
This title is devoted to presenting some of the most important concepts and techniques for describing real–time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness.
