MAFALDA


AcronymDefinition
MAFALDAMicrokernel Assessment by Fault-Injection Analysis and Design Aid