DEPLOY
- DEPLOY is an European Commission Information and Communication Technologies FP7 project. The overall aim of the project is to make major advances in engineering methods for dependable systems through the deployment of formal engineering methods. The work of the project will be driven by the tasks of achieving and evaluating industrial take-up, initially by DEPLOY's industrial partners (Bosch, Siemens Transportation Systems, Space System Finland and SAP), of DEPLOY's methods and tools (Event-B and the Rodin Platform), together with the necessary further research on these methods and tools.
For detailed information, you are referred to the project homepage.
Contact: Thai Son Hoang, Matthias Schmalz, Andreas Fürst
Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne
graphische Elemente dargestellt. Die Funktionalität der
Website ist aber trotzdem gewährleistet. Wenn Sie diese
Website regelmässig benutzen, empfehlen wir Ihnen, auf
Ihrem Computer einen aktuellen Browser zu installieren. Weitere
Informationen finden Sie auf
folgender
Seite.
Important Note:
The content in this site is accessible to any browser or
Internet device, however, some graphics will display correctly
only in the newer versions of Netscape. To get the most out of
our site we suggest you upgrade to a newer browser.
More
information