Contributor

Robin Bloomfield

Enabling Theory-based Continuous Assurance: A Coherent Approach with Semantics And Automated Synthesis
Assessing Confidence with Assurance 2.0
Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP
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.