Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings - Cassez, Franck; Jard, Claude; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2008)
Keywords: Computer science; Computer system performance; Software engineering; Information theory; Logic design; Computer Science; Logics and Meanings of Programs; Theory of Computation; Models and Principles; Programming Languages, Compilers, Interpreters; Software Engineering; System Performance and Evaluation