Towards Certification-aware Fault Injection Methodologies Using Virtual Prototypes
Authors: Espinosa, Jaime / De Andres, David / Ruiz, Juan / Hernández, Carles / Abella, Jaume
Publication: 10th IEEE Forum on specification & Design Languages (FDL), Barcelona, Spain