Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Traits: Correctness-by-Construction for Free | 0 | 0.34 | 2022 |
| Skill-Based Verification of Cyber-Physical Systems. | 0 | 0.34 | 2020 |
| Tool Support for Correctness-by-Construction. | 0 | 0.34 | 2019 |
| Tool Support for Correctness-by-Construction. | 0 | 0.34 | 2019 |
| Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study. | 0 | 0.34 | 2019 |
| Towards Confidentiality-by-Construction. | 0 | 0.34 | 2018 |