Formal Modeling and Analysis of Timed Systems
Author | : |
Publisher | : |
Total Pages | : 368 |
Release | : 2011-09-29 |
ISBN-10 | : 3642243118 |
ISBN-13 | : 9783642243110 |
Rating | : 4/5 (110 Downloads) |
Book Synopsis Formal Modeling and Analysis of Timed Systems by :
Download or read book Formal Modeling and Analysis of Timed Systems written by and published by . This book was released on 2011-09-29 with total page 368 pages. Available in PDF, EPUB and Kindle. Book excerpt: