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

Kim G. Larsen, Peter Niebert (eds.)
Bok · Engelsk · 2004 FORMATS 2003

Annen tittel	FORMATS 2003
Utgitt	Berlin : Springer , c2004
Omfang	VIII, 280 s. : ill.
Emner	Automata Computer simulation Formal methods (Computer science) Temporal automata Vis mer... Computer Science Engineering & Applied Sciences Formelle metoder Formelle modeller Sanntidssystemer Systemanalyse (Databehandling) Formelle metoder((NO-TrBIB)REAL002404) Formelle modeller((NO-TrBIB)REAL002432) Sanntidssystemer((NO-TrBIB)REAL000884) tidssystemer
Dewey	004.33
ISBN	3540216715