Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
Download or Read eBook Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems PDF written by Jane Hillston and published by Springer Nature. This book was released on with total page 352 pages. Available in PDF, EPUB and Kindle.
| Author | : Jane Hillston |
| Publisher | : Springer Nature |
| Total Pages | : 352 |
| Release | : |
| ISBN-10 | : 9783031684166 |
| ISBN-13 | : 3031684168 |
| Rating | : 4/5 (66 Downloads) |
Book Synopsis Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems by : Jane Hillston
Book excerpt:
