Sökning: "Omar Jaradat"
Hittade 1 uppsats innehållade orden Omar Jaradat.
1. Automated Architecture-Based Verification of Safety-Critical Systems
Master-uppsats, Mälardalens högskola/Akademin för innovation, design och teknikSammanfattning : Safety-critical systems require high quality and dependability levels, where system correctness and safety are major features to avoid any severe outcome. Time and cost are also important challenges that are imposed during the development process. LÄS MER
Resultatsidor:
1