Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings - Theoretical Computer Science and General Issues 8711 (Paperback)Axel Legay (editor)
- We can order this
The 17 revised full papers presented were carefully reviewed and selected from 36 submissions. The papers cover topics of foundations and semantics; comparison between different models, such as timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models; methods and tools for analyzing timed systems and resolving temporal constraints; applications in real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunication.
Publisher: Springer International Publishing AG
Number of pages: 253
Weight: 4044 g
Dimensions: 235 x 155 x 14 mm
Edition: 2014 ed.