Fabio Duchi

Learn More
Together with the increasing complexity of Critical Systems, an increased interest in safety standards has been observed in the latest years. In order to support experts on Verification & Validation (V&V) tasks, automated tools are being developed. RACME is a tool designed to import, interpret and correlate the different outcomes of the V&V activities. The(More)
  • 1