| ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks | |
|---|---|
ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks |
|
| Author | |
| Year of Publication |
2022
|
| Conference Name |
SAFECOMP 2022
|
| 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.