Formal modeling and analysis of timed systems : third international workshop, FORMATS 2005, Uppsala, - detaljert visning

Formal modeling and analysis of timed systems : third international workshop, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings

FORMATS 2005
Bok Engelsk 2005


Utgitt	Berlin : Springer , c2005
Omfang	IX, 303 s. : ill.
Emner	Systemanalyse (Databehandling) tidssystemer
ISBN	3540309462. - 9783540309468