| Enabling Theory-based Continuous Assurance: A Coherent Approach with Semantics And Automated Synthesis | |
|---|---|
Enabling Theory-based Continuous Assurance: A Coherent Approach with Semantics And Automated Synthesis |
|
| Author | |
| Year of Publication |
2024
|
| Conference Name |
11th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2024), held in conjunction with 43rd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2024)
|
| Google Scholar | BibTeX | |
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.