Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

You must be logged in to access this title.

Sign up now

Already a member? Log in

Synopsis

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.

Book details

Edition:
1st ed. 2016
Series:
Lecture Notes in Computer Science (Book 9884)
Author:
Martin Fränzle, Nicolas Markey
ISBN:
9783319448787
Related ISBNs:
9783319448770
Publisher:
Springer International Publishing
Pages:
N/A
Reading age:
Not specified
Includes images:
Yes
Date of addition:
2019-09-22
Usage restrictions:
Copyright
Copyright date:
2016
Copyright by:
Springer International Publishing, Cham 
Adult content:
No
Language:
English
Categories:
Computers and Internet, Mathematics and Statistics, Nonfiction, Philosophy