Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings (Lecture Notes in Computer Science, Band 11750)

von: Étienne André · Mariëlle Stoelinga

Taschenbuch

ISBN-13: 978-3-030-29661-2

ISBN-10: 3-030-29661-X

Springer · 15. Oktober 2019