<div class="csl-bib-body">
<div class="csl-entry">Kaindl, H., Hoch, R., Rathmair, M., & Luckeneder, C. (2018). Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models. In E. Damiani, G. Spanoudakis, & L. Maciaszek (Eds.), <i>Communications in Computer and Information Science</i> (pp. 261–287). Springer International Publishing. https://doi.org/10.1007/978-3-030-22559-9_12</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/30113
-
dc.language.iso
en
-
dc.publisher
Springer International Publishing
-
dc.title
Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models
en
dc.type
Buchbeitrag
de
dc.type
Book Contribution
en
dc.relation.publication
Communications in Computer and Information Science
-
dc.contributor.editoraffiliation
University of Milan, Italy
-
dc.relation.isbn
978-3-030-22559-9
-
dc.relation.doi
10.1007/978-3-030-22559-9
-
dc.relation.issn
1865-0929
-
dc.description.startpage
261
-
dc.description.endpage
287
-
dc.type.category
Edited Volume Contribution
-
dc.relation.eissn
1865-0937
-
dc.publisher.place
Basel, Switzerland
-
tuw.booktitle
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering
-
tuw.peerreviewed
true
-
tuw.book.ispartofseries
Communications in Computer and Information Science
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Cham
-
tuw.book.chapter
12
-
tuw.researchTopic.id
I2
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Computer Engineering and Software-Intensive Systems
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
50
-
tuw.researchTopic.value
50
-
tuw.publication.orgunit
E384 - Institut für Computertechnik
-
tuw.publication.orgunit
E384-02 - Forschungsbereich Systems on Chip
-
tuw.publication.orgunit
E384-01 - Forschungsbereich Software-intensive Systems
-
tuw.publisher.doi
10.1007/978-3-030-22559-9_12
-
dc.description.numberOfPages
27
-
wb.sciencebranch
Elektrotechnik, Elektronik, Informationstechnik
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
2020
-
wb.sciencebranch.oefos
1020
-
wb.facultyfocus
Außerhalb der primären Forschungsgebiete der Fakultät
de
wb.facultyfocus
Outside the Faculty's primary research activities
en
item.openairecristype
http://purl.org/coar/resource_type/c_3248
-
item.openairetype
book part
-
item.fulltext
no Fulltext
-
item.languageiso639-1
en
-
item.grantfulltext
none
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E384-01 - Forschungsbereich Software-intensive Systems
-
crisitem.author.dept
E384-01 - Forschungsbereich Software-intensive Systems
-
crisitem.author.dept
E384-02 - Forschungsbereich Systems on Chip
-
crisitem.author.dept
E384-01 - Forschungsbereich Software-intensive Systems
