Formal Methods and Semantic Technologies for Engineering Design Processes (FormalCAD)

Third party funded individual grant


Acronym: FormalCAD

Start date : 01.10.2012

End date : 31.03.2014

Jacobs University Bremen gGmbH DE Germany (DE)