Formal knowledge representations for textual automotive system requirements and tests

dc.contributor.advisorRudolph, Stephan (Priv.-Doz. Dr.-Ing.)
dc.contributor.authorWalter, Benedikt
dc.date.accessioned2021-03-30T06:51:00Z
dc.date.available2021-03-30T06:51:00Z
dc.date.issued2021de
dc.identifier.other175274943X
dc.identifier.urihttp://nbn-resolving.de/urn:nbn:de:bsz:93-opus-ds-113790de
dc.identifier.urihttp://elib.uni-stuttgart.de/handle/11682/11379
dc.identifier.urihttp://dx.doi.org/10.18419/opus-11362
dc.language.isoende
dc.rightsinfo:eu-repo/semantics/openAccessde
dc.subject.ddc620de
dc.titleFormal knowledge representations for textual automotive system requirements and testsen
dc.typedoctoralThesisde
ubs.dateAccepted2020-12-03
ubs.fakultaetLuft- und Raumfahrttechnik und Geodäsiede
ubs.institutInstitut für Flugzeugbaude
ubs.publikation.seitenxiii, 195de
ubs.publikation.typDissertationde
ubs.thesis.grantorLuft- und Raumfahrttechnik und Geodäsiede

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
Dissertation-digital.pdf
Size:
3.18 MB
Format:
Adobe Portable Document Format
Description:

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
3.39 KB
Format:
Item-specific license agreed upon to submission
Description: