Welcome to Jarir!
Item 1 of 1
Item 1 of 1
Springer
Formal Modeling and Analysis of Timed Systems : 19th International Conference
FORMATS 2021ParisFranceAugust 24-262021Proceedings
SR 324
Inclusive of VAT
SR19Per Month/24 months
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
SR324
Incl. VAT
Secure Shopping
Convenient Returns
Genuine & Warranted
Fast Delivery
About this Product
This book constitutes the refereed proceedings of the 19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021, held in Paris, France, in August 2021.
The 8 full papers that were carefully reviewed and selected from 19 submissions are presented in this volume with 2 invited talks. The papers focus on topics such as probabilistic computation, logic and verification, robotic planning, complexity of timed pattern matching, safety violations in real-time systems, modal and temporal logics, and others.
The 8 full papers that were carefully reviewed and selected from 19 submissions are presented in this volume with 2 invited talks. The papers focus on topics such as probabilistic computation, logic and verification, robotic planning, complexity of timed pattern matching, safety violations in real-time systems, modal and temporal logics, and others.
Report an issue with this product.
