Comments: 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

Saved in:

Bibliographic Details
Format:	Book
Language:	English
Subjects:	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.
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!