| Hierarchical Contract-Based Synthesis for Assurance Cases | |
|---|---|
Hierarchical Contract-Based Synthesis for Assurance Cases |
|
| Author | |
| Year of Publication |
2022
|
| Conference Name |
NASA Formal Methods Symposium
|
| Publisher |
Springer
|
| 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.