FormalSafe

Formal Development for Safe Robotics

FormalSafe aims at the computer-supported management of the many and diverse documents produced during the development of highly dependable systems, in particular in the area of safe robotics.

Duration: Jan 1, 2008 - Dec 31, 2010
Homepage: http://www.informatik.uni-bremen.de/dfki-sks/formalsafe
Research area: Security   Software Systems  
Funding:

Publications within the Project

© DFKI GmbH
last updated 08/02/2017
to top