Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseill - detaljert visning

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

FORMATS 2003
Bok Engelsk 2004


Utgitt	Berlin : Springer , c2004
Omfang	VIII, 280 s. : ill.
Emner	Formelle metoder Formelle modeller Sanntidssystemer Systemanalyse (Databehandling) tidssystemer
ISBN	3540216715