ENGLISH

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers

By Kim Guldstrand Larsen , Eugene Asarin (auth.) , Peter Niebert (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2004
ISBN
3540216715, 9783540216711
DOI
10.1007/b12025
LCC
QA76.9.C65 F676 2003
Open Library ID
OL3314037M
Language
english
Format
PDF
Filesize
4 MB (3792841 bytes)
Series
Lecture Notes in Computer Science 2791
Edition
1
Pages
281\285
Topic
Physics Astronomy
Library
Kolxo3
Time added
2011-01-23 12:00:00
CompilersInterpreters; Special Purpose and Application-BaseLogics and Meanings of Programs; Software Engineer

Description

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003. The 19 revised full papers presented together with an invited paper and the abstracts of two invited talks were carefully selected from 36 submissions during two rounds of reviewing and improvement. All current aspects of formal method for modeling and analyzing timed systems are addressed; among the timed systems dealt with are timed automata, timed Petri nets, max-plus algebras, real-time systems, discrete time systems, timed languages, and real-time operating systems.

Similar books