Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Formal Modeling and Analysis of Timed Systems
CHF 71.10
Auf Lager
SKU
T8L27POVH63
1 Verfügbar 
Geliefert zwischen Fr., 30.01.2026 und Mo., 02.02.2026
Details
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.
Includes supplementary material: sn.pub/extras
Inhalt
Modeling Timed Phenomena.- Stochasticity and Hybrid Control.- Real-time Verification and Synthesis.- Workload Analysis.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783319448770
- Genre Information Technology
- Auflage 1st ed. 2016
- Editor Martin Fränzle, Nicolas Markey
- Lesemotiv Verstehen
- Anzahl Seiten 245
- Größe H15mm x B174mm x T233mm
- Jahr 2016
- EAN 9783319448770
- Format Kartonierter Einband
- ISBN 978-3-319-44877-0
- Titel Formal Modeling and Analysis of Timed Systems
- Untertitel 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
- Gewicht 412g
- Herausgeber Springer
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung
