Formal Modeling and Analysis of Timed Systems: 15th International Conference | Kaicus Deutschland

Formal Modeling and Analysis of Timed Systems: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

53.49 EUR

Ein Sammelband aus der FORMATS‑Konferenz 2017 in Berlin, der innovative Techniken zur Modellierung von zeitkritischen Systemen vorstellt und deren Analyse mit modernen Werkzeugen demonstriert.

ISBN: 9783319657646
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen