Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings (Lecture Notes in Computer Science (9884))

ISBN 10: 3319448773 / ISBN 13: 9783319448770

Published by Springer, 2016

About this Item

LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS.

Seller Inventory # ERICA75833194487736

Bibliographic Details

• Title: Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings (Lecture Notes in Computer Science (9884))
• Publisher: Springer
• Publication Date: 2016
• Language: English
• ISBN 10: 3319448773
• ISBN 13: 9783319448770
• Binding: Paperback
• Condition: Like New
• Book Type: book

About this title

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.