Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science)

by Kim G. Larsen (Author), Peter Niebert (Author)

New
Paperback
2008
$74.59

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.

Synopsis

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.

$74.59

Save:$5.45 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 292
Edition: 2004
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540216715
ISBN 13: 9783540216711

Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science)

New

$74.59

Synopsis

$74.59

More Information