QUAFOMET

AcronymDefinition
QUAFOMETImproving Quality and Efficiency of Safety-Critical Embedded Computing Systems by the use of Formal Methods