Cover Image

Formal Modeling and Analysis of Timed Systems 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings /

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...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Bertrand, Nathalie. (Editor, http://id.loc.gov/vocabulary/relators/edt), Jansen, Nils. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2020.
Edition:1st ed. 2020.
Series:Theoretical Computer Science and General Issues ; 12288
Subjects:
Computers.
Artificial intelligence.
Microprogramming .
Architecture, Computer.
Special purpose computers.
Computer hardware.
Theory of Computation.
Artificial Intelligence.
Control Structures and Microprogramming.
Computer System Implementation.
Special Purpose and Application-Based Systems.
Computer Hardware.
Online Access:https://doi.org/10.1007/978-3-030-57628-8

Internet

https://doi.org/10.1007/978-3-030-57628-8

Similar Items