✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 476.753 € mehr verdient. → Mehr erfahren 💪 📚 🙏

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Softcover - 9783319448770
53,49 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 2 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016.

The 14 papers presented in this volume were carefully reviewed and selected from 32 initial submissions. They are organized in topical sections entitled: modeling timed phenomena; stochasticity and hybrid control; real-time verification and synthesis; workload analysis.

14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Details

Verlag Springer International Publishing
Ersterscheinung 17. August 2016
Maße 23.5 cm x 15.5 cm
Gewicht 400 Gramm
Format Softcover
ISBN-13 9783319448770
Auflage 1st ed. 2016
Seiten 245

Schlagwörter

Angewandte Informatik, Computer and Information Systems Applications, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Software Engineering, Theoretische Informatik, Theory of Computation

Herstellerinformationen +