Comentaris: Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings / Uli Fahrenberg, Stavros Tripakis (eds.).

Summary goes here

Guardat en:

Dades bibliogràfiques
Format:	Llibre
Idioma:	anglès
Matèries:	Computer simulation Temporal automata Formal methods (Computer science) Electronic Data Processing Algorithms Software Simulation par ordinateur Automates temporels Méthodes formelles (Informatique) Informatique. Logiciels. Algorithmes. data processing. computer science. software. algorithms. Computer science Software engineering Computer software Logic design Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Programming Techniques Algorithm Analysis and Problem Complexity Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Sigues el primer a deixar un comentari!