Model Based Engineering: Software Quality Metrics and Assurance Cases Read more about Model Based Engineering: Software Quality Metrics and Assurance Cases
Compositional Reasoning for Architectural Models Read more about Compositional Reasoning for Architectural Models
Wassyng - Overcoming Challenges in Certification of Model-Based Design of Cyber-Physical Systems Read more about Wassyng - Overcoming Challenges in Certification of Model-Based Design of Cyber-Physical Systems
Assurance Through Comprehensive Formal Verification Read more about Assurance Through Comprehensive Formal Verification
Model-Based Assurance Challenges for Self-Driving Cars Read more about Model-Based Assurance Challenges for Self-Driving Cars