"Software Plattform Embedded Systeme". Nationwide collaborative R&D project involving more than 20 research institutions and companies.
DENTUM III
(Juni 2010 - )
A project with Denso Automotive
ReForm: Requirements Formalization
(May 2011 - )
The aim of the project consists in the extraction of requirements from system documents, as well as in the validation of the resulting models and the formalisation of the requirements.