Rigorous Open Development Environment for Complex Systems
|
|
Related Events
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. Workshop
on Rigorous Engineering of Fault Tolerant Systems
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 SUBMISSION More information: 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
|