Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
| Author | : Jane Hillston |
| Publisher | : Springer Nature |
| Total Pages | : 352 |
| Release | : |
| ISBN-10 | : 9783031684166 |
| ISBN-13 | : 3031684168 |
| Rating | : 4/5 (168 Downloads) |
Book Synopsis Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems by : Jane Hillston
Download or read book Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems 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. Book excerpt:
