TY  - BOOK
AU  - Fränzle,Martin
AU  - Markey,Nicolas
ED  - SpringerLink (Online service)
TI  - Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783319448787
AV  - QA75.5-76.95 
U1  - 004.0151 23
PY  - 2016///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Computer science
KW  - Software engineering
KW  - Computers
KW  - Computer logic
KW  - Mathematical logic
KW  - Application software
KW  - Computer Science
KW  - Computation by Abstract Devices
KW  - Logics and Meanings of Programs
KW  - Software Engineering
KW  - Computer Applications
KW  - Mathematical Logic and Formal Languages
N1  - Modeling Timed Phenomena -- Stochasticity and Hybrid Control -- Real-time Verification and Synthesis -- Workload Analysis
N2  - 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
UR  - http://148.231.10.114:2048/login?url=http://dx.doi.org/10.1007/978-3-319-44878-7
ER  -