Formal Modeling and Analysis of Timed Systems
Subtitle: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Publisher: Springer
Published: Aug 26, 2018
Format: paperback
Number of pages: 299
ISBN-13: 9783030001506
Notes: Source title: Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings (Lecture Notes in Computer Science (11022))