| Skip to main content | Skip to sub navigation |

This is now an inactive research group it's members have moved on. You can find them at their new research groups:

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

Funding

Principal Investigators

Other Investigators

URI: http://id.ecs.soton.ac.uk/project/283
RDF: http://rdf.ecs.soton.ac.uk/project/283

More information

You can edit the record for this project by visiting http://secure.ecs.soton.ac.uk/db/projects/editproj.php?project=283