عنوان

Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, marseille, France, September 6-7, 2003; reivised papers

Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, marseille, France, September 6-7, 2003; reivised papers

2003 : Marseille, France

Berlin

Springer-Verlag

2004

viii, 280 p.: fig., tab

Lecture notes in computer science; 1972

Includes bibliographies

ISBN: 3540216715

Kim G. Larsen, Peter Niebert )eds.(

Congresses ، Computer simulation

Congresses ، Temporal automata

Congresses ، Formal methods )Computer science(

Congresses ، Machine theory

Congresses ، Robots

L28

Vol

2791

AU Larsen, Kim Guldstrand, 1957-

AU Niebert, Peter

FORMATS