Formal Modeling and Analysis of Timed Systems
Subtitle: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
Publisher: Springer
Published: Aug 12, 2015
Format: paperback
Number of pages: 331
ISBN-13: 9783319229744
Notes: Source title: Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings (Lecture Notes in Computer Science (9268))