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 75.95
Auf Lager
SKU
7S8C0G2QAQ9
1 Verfügbar 
Geliefert zwischen Mi., 28.01.2026 und Do., 29.01.2026
Details
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017.
The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems.
Includes supplementary material: sn.pub/extras
Inhalt
Hybrid systems.- Probabilistic models.- Quantitative logics and monitoring.- Reachability Analysis.- Testing and simulation.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783319657646
- Genre Information Technology
- Auflage 1st edition 2017
- Editor Gilles Geeraerts, Alessandro Abate
- Lesemotiv Verstehen
- Anzahl Seiten 364
- Größe H235mm x B155mm x T20mm
- Jahr 2017
- EAN 9783319657646
- Format Kartonierter Einband
- ISBN 331965764X
- Veröffentlichung 03.08.2017
- Titel Formal Modeling and Analysis of Timed Systems
- Untertitel 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
- Gewicht 552g
- Herausgeber Springer International Publishing
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung
