Comentarios: Formal modeling and analysis of timed systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings / Axel Legay, Marius Bozga (eds.).

Summary goes here

Gardado en:

Detalles Bibliográficos
Formato:	Libro
Idioma:	inglés
Subjects:	Computer simulation Temporal automata Formal methods (Computer science) System analysis Simulation par ordinateur Automates temporels Méthodes formelles (Informatique) Analyse de systèmes computerwetenschappen computer sciences computertechnieken computer techniques computational science software engineering Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen) Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Sexa o primeiro en deixar un comentario!