Please click here for information on incomplete orders placed before 03 July 2024

Formal Modeling and Analysis of Timed Systems

15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

By: Alessandro Abate (Editor), Gilles Geeraerts (Editor)

Write A Review

eBook | 14 September 2017

Sorry, we are not able to source the ebook you are looking for right now.

We did a search for other ebooks with a similar title, however there were no matches. You can try selecting from a similar category, click on the author's name, or use the search box above to find your ebook.

This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017.

The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems.

on

You Can Find This eBook In

Non-Fiction Computing & I.T.Computer Programming & Software Development Algorithms & Data Structures Software Engineering Programming & Scripting Languages Graphical & Digital Media Applications 3D Graphics & Modelling Mathematics Mathematical Foundation Mathematical Logic Compilers & Interpreters

Computer Science

Formal Modeling and Analysis of Timed Systems

15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings

on

You Can Find This eBook In

This product is categorised by