Zobacz książki o podobnej tematyce

Więcej informacji o Formal Modeling and Analysis of Timed Systems

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 154 punkty

Opis

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.§

Szczegóły książki

Kategoria Książki po angielsku Computing & information technology Computer science Human-computer interaction

• Pełny tytuł: Formal Modeling and Analysis of Timed Systems
• Podtytuł: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
• Autor: Martin Fränzle, Nicolas Markey
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 245
• EAN: 9783319448770
• ISBN: 3319448773
• ID: 13633799
• Wydawca: Springer International Publishing AG
• Waga: 3985 g
• Wymiary: 235 × 155 × 15 mm
• Data wydania: 17. August 2016

Ulubione w innej kategorii

---

---

---