Opis: Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings / Paul Pettersson, Wang Yi (eds.).

Summary goes here

Shranjeno v:

Bibliografske podrobnosti
Format:	Knjiga
Jezik:	angleščina
Teme:	Computer simulation Temporal automata Formal methods (Computer science) Machine theory Théorie des automates Automates temporels Méthodes formelles (Informatique) Simulation par ordinateur COMPUTERS Informatique. Echtzeitsystem Formale Methode Formale Sprache Temporale Logik Zeitdiskretes System Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Oznake:	Označite Brez oznak, prvi označite!

Opis
Izvleček:	Summary goes here
Opis knjige/članka:	General Notes
Fizični opis:	1 online resource (ix, 303 pages) :illustrations
ISBN:	9783540316169 3540316167 3540309462 9783540309468