Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings

Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings

Paperback(1st ed. 2018)

$69.99
Choose Expedited Shipping at checkout for guaranteed delivery by Thursday, February 21

Product Details

ISBN-13: 9783030001506
Publisher: Springer International Publishing
Publication date: 08/26/2018
Series: Lecture Notes in Computer Science , #11022
Edition description: 1st ed. 2018
Pages: 289
Product dimensions: 6.10(w) x 9.25(h) x (d)

Table of Contents

Invited Papers.- Temporal Logics.- Distributed Timed Systems.- Behavioral Equivalences.- Timed Words.- Continuous Dynamical Systems.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews