Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedi
Martin Fränzle et Nicolas Markey
Used - Soft cover
Quantity: 1 available
Add to basketQuantity: 1 available
Add to basketAbout this Item
Editeur différent. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Different publisher. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-571-013
Bibliographic Details
Title: Formal Modeling and Analysis of Timed ...
Publisher: Springer
Publication Date: 2016
Binding: Softcover
Condition: Très bon
About this title
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.
"About this title" may belong to another edition of this title.
Store Description
Payment Methods
accepted by seller