This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019. The 15 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers are organized in the following topical sections:
| ISBN: | 9783030296612 |
| Publication date: | 13th August 2019 |
| Author: | Etienne Andre |
| Publisher: | Springer Nature Switzerland AG |
| Format: | Paperback |
| Pagination: | 301 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Algorithms and data structures Software Engineering Mathematical theory of computation Computer modelling and simulation Expert systems / knowledge-based systems |
This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019. The 15 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions.
Formal Modeling and Analysis of Timed Systems features in the following genres: Algorithms and data structures, Software Engineering, Mathematical theory of computation, Computer modelling and simulation, Expert systems / knowledge-based systems
Paperback. £40.49, down from the £44.99 cover price. Not Available.
Formal Modeling and Analysis of Timed Systems was written by Etienne Andre and published by Springer Nature Switzerland AG
Formal Modeling and Analysis of Timed Systems has 301 pages
Yes it is part of Lecture Notes in Computer Science series
£40.49, reduced from £44.99. Not Available.