<div class="csl-bib-body">
<div class="csl-entry">Bartocci, E., Ferrère, T., Henzinger, T., Nickovic, D., & Oliveira da Costa, A. (2024). Information-flow interfaces. <i>Formal Methods in System Design</i>. https://doi.org/10.1007/s10703-024-00447-0</div>
</div>
-
dc.identifier.issn
0925-9856
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/202602
-
dc.language.iso
en
-
dc.publisher
SPRINGER
-
dc.relation.ispartof
Formal Methods in System Design
-
dc.subject
Information-flow
en
dc.subject
security by design
en
dc.subject
interface theory
en
dc.title
Information-flow interfaces
en
dc.type
Article
en
dc.type
Artikel
de
dc.contributor.affiliation
Imagination Technologies (United Kingdom), United Kingdom of Great Britain and Northern Ireland (the)
-
dc.contributor.affiliation
Institute of Science and Technology Austria, Austria
-
dc.contributor.affiliation
Austrian Institute of Technology, Austria
-
dc.contributor.affiliation
Institute of Science and Technology Austria, Austria
-
dc.type.category
Original Research Article
-
tuw.journal.peerreviewed
true
-
tuw.peerreviewed
true
-
tuw.researchTopic.id
I2
-
tuw.researchTopic.name
Computer Engineering and Software-Intensive Systems
-
tuw.researchTopic.value
100
-
dcterms.isPartOf.title
Formal Methods in System Design
-
tuw.publication.orgunit
E056-17 - Fachbereich Trustworthy Autonomous Cyber-Physical Systems
-
tuw.publication.orgunit
E191-01 - Forschungsbereich Cyber-Physical Systems
-
tuw.publisher.doi
10.1007/s10703-024-00447-0
-
dc.identifier.eissn
1572-8102
-
dc.description.numberOfPages
46
-
tuw.author.orcid
0000-0002-8004-6601
-
tuw.author.orcid
0000-0001-5199-3143
-
tuw.author.orcid
0000-0002-2985-7724
-
tuw.author.orcid
0000-0001-5468-0396
-
tuw.author.orcid
0000-0002-8741-5799
-
wb.sci
true
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.grantfulltext
none
-
item.fulltext
no Fulltext
-
item.openairetype
research article
-
item.languageiso639-1
en
-
item.openairecristype
http://purl.org/coar/resource_type/c_2df8fbb1
-
item.cerifentitytype
Publications
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
-
crisitem.author.dept
Imagination Technologies (United Kingdom)
-
crisitem.author.dept
Institute of Science and Technology Austria, Austria
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
-
crisitem.author.dept
E191-01 - Forschungsbereich Cyber-Physical Systems
