%0 Thesis %1 walter2021formal %A Walter, Benedikt %C Stuttgart %D 2021 %K %R 10.18419/opus-11362 %T Formal knowledge representations for textual automotive system requirements and tests

@phdthesis{walter2021formal, added-at = {2023-08-31T16:25:45.000+0200}, address = {Stuttgart}, author = {Walter, Benedikt}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d834fd8fe54a67fdce4d14a66fab2f6d/puma-wartung}, doi = {10.18419/opus-11362}, eventdate = {2020-12-03}, interhash = {2a2fe56e225312f8b3a5f8e1231472af}, intrahash = {d834fd8fe54a67fdce4d14a66fab2f6d}, keywords = {}, language = {eng}, school = {Universität Stuttgart}, supervisor = {Rudolph, Stephan}, supervisorgnd = {1035607352}, timestamp = {2023-08-31T14:25:45.000+0200}, title = {Formal knowledge representations for textual automotive system requirements and tests}, type = {Dissertation}, year = 2021 }