InstitutionDoi/1710: Difference between revisions
m 1 revision imported |
import>Unknown user No edit summary |
||
(No difference)
| |||
Revision as of 10:35, 28 May 2026
| Title | Safety by Construction: Pattern-Based Application of Safety Mechanisms in XANDAR |
|---|---|
| DOI | https://doi.org/10.1109/isvlsi54635.2022.00081 |
| Raw Affiliation | Karlsruhe Institute of Technology (KIT), Germany |
| Clean Page Target | Karlsruhe Institute of Technology (KIT), Germany |