This is now an inactive research group it's members have moved on. You can find them at their new research groups:
- ESD - http://esd.ecs.soton.ac.uk
- ESS - http://ess.ecs.soton.ac.uk
ECS Intranet:
Rigorous Open Development Environment for Complex Systems (RODIN)
Homepage: http://rodin.cs.ncl.ac.uk/
Type: Normal Research Project
Research Group: Dependable Systems & Software Engineering
Themes: Formal Methods, Systems Engineering, Dependable Systems
Dates: 1st September 2004 to 31st August 2007
Partners
- University of Newcastle upon Tyne, UK (Coordinator)
- Aabo Akademi University, Turku, Finland
- ClearSy System Engineering, France
- Nokia Corporation, Finland
- Praxis Critical Systems Ltd, UK
- AT Engine Controls Ltd, UK
- Swiss Federal Institute of Technology, Zurich, Switzerland
Funding
- European Commission
Principal Investigators
Other Investigators
- [hidden]
- mrp
- Colin F Snook
- ne01
- ae03r
- Abdolbaghi Rezazadeh