Formal Modeling and Analysis of Timed Systems

14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Martin Fränzle, Nicolas Markey (Herausgeber)

Buch | Softcover

XII, 245 Seiten

2016 | 1st ed. 2016
Springer International Publishing (Verlag)
978-3-319-44877-0 (ISBN)

Artikel merken

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.

Modeling Timed Phenomena.- Stochasticity and Hybrid Control.- Real-time Verification and Synthesis.- Workload Analysis.

Erscheinungsdatum	08.10.2016
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Theoretical Computer Science and General Issues
Zusatzinfo	XII, 245 p. 67 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Informatik ► Software Entwicklung ► User Interfaces (HCI)
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Applications • Approximation • Automata Theory • computation by abstract devices • Computer Applications • Computer Science • conference proceedings • Hybrid Systems • Informatics • Model Checking • Modeling • nested petri nets • Network Calculus • parametric timed automata • Petri Nets • Polynomial Algorithms • Real-Time Systems • Research • Software engineering • Synchronous Programming • temporal logic • timed automata • time semantics
ISBN-10	3-319-44877-3 / 3319448773
ISBN-13	978-3-319-44877-0 / 9783319448770
Zustand	Neuware