Formal Modeling and Analysis of Timed Systems
Subtitle: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
Publisher: Springer International Publishing AG
Published: 2016
Language: eng
Number of pages: 245
ISBN-13: 9783319448770
Subjects: Computer science