The University of Southampton
Warning! Your browser is out-of-date and not compatible with this website. Please download a new secure and faster browser to view this website correctly.

Rigorous Open Development Environment for Complex Systems (RODIN)

Date:
2004-2007
Themes:
Formal Methods, Systems Engineering, Dependable Systems
Funding:
European Commission

Primary investigator

Secondary investigators

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

Associated research group

  • Dependable Systems & Software Engineering
Share this project FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×