Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings (Lecture Notes in Computer Science, Band 9884)

Proceedings

von: Martin Fränzle · Nicolas Markey

Taschenbuch

ISBN-13: 978-3-319-44877-0

ISBN-10: 3-319-44877-3

Springer · 2016

Siehe auch:
2016PaperbackFormal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings