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

von: Martin Fränzle · Nicolas Markey

Taschenbuch

ISBN-13: 978-3-319-44879-4

ISBN-10: 3-319-44879-X

Springer · 2016

S. auch:
2016TaschenbuchFormal 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)