Date Range
Date Range
Date Range
ECTRI, the European Conference of Transport Research Institutes, is the leading European research association for sustainable and multimodal mobility. It was founded in April 2003 as an international non-profit organization. Based advice to decision makers in Europe.
Forgot Password or Username? Deviant for 10 Years. Deviant since Apr 1, 2006.
Formal Modelling and Analysis of Timed Systems. Formal Modeling and Analysis of Timed Systems. The registration form is now available at this link. For information on all the conferences, check the co-location event FLORENCE 2014. The aim of FORMATS is to p.
13th International Conference on Formal Modeling and Analysis of Timed Systems. Madrid - September 2 4. Proceedings are published as LNCS 9268. And they are available during the conference. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed s.