<div class="csl-bib-body">
<div class="csl-entry">Ničković, D. (2020). <i>Analyzing cyber-physical systems with runtime verification</i> [Professorial Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/158887</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/158887
-
dc.description
Enthält Originalbeitrag und 9 Veröffentlichungen
-
dc.language
English
-
dc.language.iso
en
-
dc.subject
Cyber-physisches System
de
dc.subject
Laufzeitsystem
de
dc.subject
Programmlaufzeit
de
dc.subject
Programmverifikation
de
dc.title
Analyzing cyber-physical systems with runtime verification
en
dc.type
Thesis
en
dc.type
Hochschulschrift
de
dc.contributor.affiliation
TU Wien, Österreich
-
dc.publisher.place
Wien
-
tuw.thesisinformation
Technische Universität Wien
-
dc.type.qualificationlevel
Habilitation
-
dc.identifier.libraryid
AC16216991
-
dc.description.numberOfPages
181
-
dc.thesistype
Habilitationsschrift
de
dc.thesistype
Professorial Dissertation
en
item.fulltext
no Fulltext
-
item.openairecristype
http://purl.org/coar/resource_type/c_46ec
-
item.cerifentitytype
Publications
-
item.openairetype
thesis
-
item.grantfulltext
none
-
item.languageiso639-1
en
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
