- Tutorial on Correct-by-Construction Development of Dependable Systems
- Rodin Tools Lts will take part in the ARcTIC 2012 event - to be held on December 17, 2012 in Bologna.
Rodin Tools is involved in organisation of Event-B 2012: Workshop on experience and advances in developing dependable systems in Event-B. In conjunction with ICFEM 2012. Nov 13, 2012 Kyoto, Japan http://research.nii.ac.jp/eventb2012/index.html
We will give a presentation at the technology transfer event ARcTIC held on Dec 17th, 2012 in Bolonga http://www.arctic2012.net/