the 9th International Conference on Formal Modeling and Analysis of Timed Systems, will take place at Phønix Hotel, Aalborg, Denmark, from 21 to 23 September 2011.
FORMATS 2011
Invited Talks
Interfaces for Control Components
Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull?
Performance Evaluation of Schedulers in a Probabilistic Setting