Formal Modeling and Analysis of Timed SystemsAuthor :
Paperback
Published : Monday 17 August 2020
Description
This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020. The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions.
You may also like ...
![Product](https://abcbooksimages.s3.eu-west-1.amazonaws.com/sBookimagesFlat2020/9783030576271.jpg)
by
Paperback
17 Aug 2020
Computer hardware
€52.64
Extended stock – Dispatch 5-7 days
![Product](https://abcbooksimages.s3.eu-west-1.amazonaws.com/sBookimagesFlat2020/9781523518906.jpg)
by
18 Jul 2023
Individual artists, art monographs
€15.20
Extended stock – Dispatch 5-7 days
![Product](https://abcbooksimages.s3.eu-west-1.amazonaws.com/sBookimagesFlat2020/9780691210247.jpg)
by
Paperback
02 May 2023
Biography: writers
€32.76
Extended stock – Dispatch 5-7 days
![Product](https://abcbooksimages.s3.eu-west-1.amazonaws.com/sBookimagesFlat2020/9781553806714.jpg)
by
Paperback
20 Feb 2023
Childrens / Teenage fiction and true stories
€16.37
Extended stock – Dispatch 5-7 days
Reviews