Formal Modeling and Analysis of Timed Systems

15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

Alessandro Abate, Gilles Geeraerts (Herausgeber)

Buch | Softcover

X, 353 Seiten

2017
Springer International Publishing (Verlag)
978-3-319-65764-6 (ISBN)

Artikel merken

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.

Hybrid systems.- Probabilistic models.- Quantitative logics and monitoring.- Reachability Analysis.- Testing and simulation.

Erscheinungsdatum	05.08.2017
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Theoretical Computer Science and General Issues
Zusatzinfo	X, 353 p. 93 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	557 g
Themenwelt	Informatik ► Theorie / Studium ► Algorithmen
Themenwelt	Mathematik / Informatik ► Mathematik ► Wahrscheinlichkeit / Kombinatorik
Schlagworte	Algorithm analysis and problem complexity • Applications • comnputer software selection • computation by abstract devices • Computer Science • conference proceedings • Informatics • Informatik • Model Checking • Research • Semantics • Software engineering • Specifications • timed automata • user interface design & usability • User interface design & usability
ISBN-10	3-319-65764-X / 331965764X
ISBN-13	978-3-319-65764-6 / 9783319657646
Zustand	Neuware