Commenti: Formal modeling and analysis of timed systems : 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings / Víctor Braberman, Laurent Fribourg (eds.).

Summary goes here

Salvato in:

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

Lascia un commento!