Formal knowledge representations for textual automotive system requirements and tests
dc.contributor.advisor | Rudolph, Stephan (Priv.-Doz. Dr.-Ing.) | |
dc.contributor.author | Walter, Benedikt | |
dc.date.accessioned | 2021-03-30T06:51:00Z | |
dc.date.available | 2021-03-30T06:51:00Z | |
dc.date.issued | 2021 | de |
dc.identifier.other | 175274943X | |
dc.identifier.uri | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-ds-113790 | de |
dc.identifier.uri | http://elib.uni-stuttgart.de/handle/11682/11379 | |
dc.identifier.uri | http://dx.doi.org/10.18419/opus-11362 | |
dc.language.iso | en | de |
dc.rights | info:eu-repo/semantics/openAccess | de |
dc.subject.ddc | 620 | de |
dc.title | Formal knowledge representations for textual automotive system requirements and tests | en |
dc.type | doctoralThesis | de |
ubs.dateAccepted | 2020-12-03 | |
ubs.fakultaet | Luft- und Raumfahrttechnik und Geodäsie | de |
ubs.institut | Institut für Flugzeugbau | de |
ubs.publikation.seiten | xiii, 195 | de |
ubs.publikation.typ | Dissertation | de |
ubs.thesis.grantor | Luft- und Raumfahrttechnik und Geodäsie | de |