Modeling and Verification of Real-time Systems: Formalisms and Software Tools
£211.95
Includes FREE deliveryUsually despatched within 5 days
Hardback by Nicolas Navet , Stephan Merz
Short Description:
This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing... Read more
Publisher: ISTE Ltd and John Wiley & Sons IncPublication Date: 10/03/2008
ISBN13: 9781848210134, 978-1848210134
ISBN10: 1848210132
Number of Pages: 448