<div class="csl-bib-body">
<div class="csl-entry">Bartocci, E., Falcone, Y., Francalanza, A., & Reger, G. (2018). Introduction to Runtime Verification. In E. Bartocci & Y. Falcone (Eds.), <i>Lectures on Runtime Verification. Introductory and Advanced Topics</i> (Vol. 10457, pp. 1–33). Springer-Verlag Berlin Heidelberg. https://doi.org/10.1007/978-3-319-75632-5_1</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/29839
-
dc.description.abstract
The aim of this chapter is to act as a primer for those wanting to learn about Runtime Verification (RV). We start by providing an overview of the main specification languages used for RV. We then introduce the standard terminology necessary to describe the monitoring problem, covering the pragmatic issues of monitoring and instrumentation, and discussing extensively the monitorability problem.
en
dc.language.iso
en
-
dc.publisher
Springer-Verlag Berlin Heidelberg
-
dc.title
Introduction to Runtime Verification
en
dc.type
Buchbeitrag
de
dc.type
Book Contribution
en
dc.contributor.affiliation
Université Grenoble Alpes, France
-
dc.contributor.affiliation
University of Malta, Malta
-
dc.contributor.affiliation
University of Manchester, United Kingdom of Great Britain and Northern Ireland (the)
-
dc.contributor.editoraffiliation
Grenoble Alpes University, France
-
dc.relation.isbn
978-3-319-75631-8
-
dc.relation.doi
10.1007/978-3-319-75632-5
-
dc.relation.issn
0302-9743
-
dc.description.startpage
1
-
dc.description.endpage
33
-
dc.type.category
Edited Volume Contribution
-
dc.relation.eissn
1611-3349
-
tuw.booktitle
Lectures on Runtime Verification. Introductory and Advanced Topics
-
tuw.container.volume
10457
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Cham
-
tuw.publication.orgunit
E191-01 - Forschungsbereich Cyber-Physical Systems
-
tuw.publisher.doi
10.1007/978-3-319-75632-5_1
-
dc.description.numberOfPages
33
-
tuw.editor.orcid
0000-0002-8004-6601
-
tuw.editor.orcid
0000-0002-0114-0641
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.facultyfocus
Computer Engineering (CE)
de
wb.facultyfocus
Computer Engineering (CE)
en
wb.facultyfocus.faculty
E180
-
item.languageiso639-1
en
-
item.grantfulltext
none
-
item.cerifentitytype
Publications
-
item.openairetype
book part
-
item.openairecristype
http://purl.org/coar/resource_type/c_3248
-
item.fulltext
no Fulltext
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
