Summary goes here

Dettagli Bibliografici

Natura:	Libro
Lingua:	inglese
Soggetti:	Computer simulation Temporal automata Formal methods (Computer science) System analysis Simulation par ordinateur Automates temporels Méthodes formelles (Informatique) Analyse de systèmes Informatique. Conference papers and proceedings Software.
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!