Name: Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Brand: Springer-Verlag GmbH
SKU: ID13477758
Availability: InStock

Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

53.49 EUR

Ein Sammelband aus der 16. FORMATS‑Konferenz in Peking, der aktuelle Erkenntnisse zur formalen Modellierung und Analyse von zeitkritischen Systemen zusammenfasst; ideal für Forscher und Studierende, die tiefe Einblicke in Zeitmodelle suchen.

Marke: Springer-Verlag GmbH

ISBN: 3030001504

MPN: 33735691