Formal Modeling and Analysis of Timed Systems
14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
AvMartin Fränzle,Nicolas Markey
Häftad, Engelska, 2016
Del 9884 i serien Lecture Notes in Computer Science
565 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Del 15471
Engineering Safe and Trustworthy Cyber Physical Systems
Martin Fränzle, Jürgen Niehaus, Bernd Westphal
Häftad, 2025
722 kr
Del 9984
Dependable Software Engineering: Theories, Tools, and Applications
Martin Fränzle, Deepak Kapur, Naijun Zhan
Häftad, 2016
565 kr
- -23%
- -19%
- -23%
- 4 för 3
- 4 för 3
- Signerad!
- 4 för 3