| Rigorous Open Development Environment for Complex Systems
This second industrial day concludes the Rodin project and provides an opportunity to present the formal Rodin modelling platform, some applicable plug-ins which broaden its capabilities, as well as some industrial applications achieved outside the RODIN project.
RODIN Open Industry Day
Track on Dependable and Adaptive Distributed Systems at the 21st ACM
Symposium on Applied Computing.
Dependable and Adaptive Distributed Systems Track of the
22nd ACM Symposium on Applied Computing March 11 - 15, 2007 Seoul, Korea
Workshop on Methods, Models and Tools for Fault Tolerance at the Int. 6th Conference on Integrated Formal Methods July 3, 2007, Oxford, UK
Workshop on Methods, Models and Tools for Fault Tolerance at IFM 2007 (July, 2007, Oxford, UK) http://www.cs.ncl.ac.uk/people/alexander.romanovsky/home.formal/MeMToFT2007.html