Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006, Paris, F - detaljert visning

Formal modeling and analysis of timed systems : 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings

FORMATS 2006
Bok Engelsk 2006


Utgitt	Berlin : Springer , c2006
Omfang	XI, 367 s. : ill.
Emner	Systemanalyse (Databehandling) tidssystemer
ISBN	3540450262. - 9783540450269