Formal knowledge representations for textual automotive system requirements and tests [article]

Benedikt Walter, Universität Stuttgart
2021
doi:10.18419/opus-11362 fatcat:ebh37kmr2vei3nwx72bhma757m