Benedikt Walter. Formal knowledge representations for textual automotive system requirements and tests. PhD thesis, University of Stuttgart, Germany, 2021. [doi]
@phdthesis{dnb-23734,
title = {Formal knowledge representations for textual automotive system requirements and tests},
author = {Benedikt Walter},
year = {2021},
url = {http://d-nb.info/1230798935},
researchr = {https://researchr.org/publication/dnb-23734},
cites = {0},
citedby = {0},
school = {University of Stuttgart, Germany},
}