Zamira Daw

Computer-Aided Generation of Assurance Cases
Computer-Aided Evaluation for Argument-Based Certification
AACE: Automated Assurance Case Environment for Aerospace Certification
ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks
Hierarchical Contract-Based Synthesis for Assurance Cases
Feedback
Feedback
If you experience a bug or would like to see an addition on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.