Formal Modeling and Analysis of Timed Systems
ISBN 10: 3319448773 ISBN 13: 9783319448770
Published by Springer, 2016
New
Soft cover
From
Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since 24 June 2016
This specific item is no longer available.
About this Item
Description:
New. Delivery takes 25-30 days. Excellent Customer Service. Seller Inventory # POD-79872
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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Formal Modeling and Analysis of Timed Systems
Publisher: Springer
Publication Date: 2016
Binding: Soft cover
Condition: Brand New