ENGLISH

Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

By Franck Cassez , Joël Ouaknine , James Worrell (auth.) , Claude Jard (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2008
ISBN
978-3-540-85777-8, 978-3-540-85778-5
DOI
10.1007/978-3-540-85778-5
Language
english
Format
PDF
Filesize
6 MB (6408168 bytes)
Series
Lecture Notes in Computer Science 5215 Theoretical Computer Science and General Issues
Edition
1
Pages
295\305
Time added
2014-01-18 08:00:00
CompilersInterpreters; Software Engineering; System PerformLogics and Meanings of Programs; Theory of Computa

Description

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.

Similar books