Information-flow Interfaces

Ezio Bartocci; Thomas Ferrère; Thomas Henzinger; Dejan Nickovic; Ana Oliveira da Costa

doi:10.1007/978-3-030-99429-7

Information-flow Interfaces

Ezio Bartocci
, Thomas Ferrère
, Thomas Henzinger
, Dejan Nickovic (Vortragende:r)
, Ana Oliveira da Costa

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

Originalsprache	Englisch
Titel	Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings
Herausgeber (Verlag)	Springer
Seiten	3-22
Seitenumfang	20
ISBN (Print)	978-3-030-99428-0
DOIs	https://doi.org/10.1007/978-3-030-99429-7
Publikationsstatus	Veröffentlicht - 2022
Veranstaltung	FASE 2022 - Dauer: 2 Apr. 2022 → 7 Apr. 2022

Konferenz

Konferenz	FASE 2022
Zeitraum	2/04/22 → 7/04/22

Research Field

Dependable Systems Engineering

Zugriff auf Dokument

10.1007/978-3-030-99429-7Lizenz: Nicht angegeben

Diese Publikation zitieren

Bartocci, E., Ferrère, T., Henzinger, T., Nickovic, D., & da Costa, A. O. (2022). Information-flow Interfaces. in Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings (S. 3-22). Springer. https://doi.org/10.1007/978-3-030-99429-7

@inproceedings{3bf19dbc93bd48e5b9ef02cbfbbde0f1,

title = "Information-flow Interfaces",

author = "Ezio Bartocci and Thomas Ferr{\`e}re and Thomas Henzinger and Dejan Nickovic and \{da Costa\}, \{Ana Oliveira\}",

year = "2022",

doi = "10.1007/978-3-030-99429-7",

language = "English",

isbn = "978-3-030-99428-0",

pages = "3--22",

booktitle = "Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings",

publisher = "Springer",

address = "Germany",

note = "FASE 2022 ; Conference date: 02-04-2022 Through 07-04-2022",

}

Bartocci, E, Ferrère, T, Henzinger, T, Nickovic, D & da Costa, AO 2022, Information-flow Interfaces. in Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Springer, S. 3-22, FASE 2022, 2/04/22. https://doi.org/10.1007/978-3-030-99429-7

Information-flow Interfaces. / Bartocci, Ezio; Ferrère, Thomas; Henzinger, Thomas et al.
Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Springer, 2022. S. 3-22.

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

TY - GEN

T1 - Information-flow Interfaces

AU - Bartocci, Ezio

AU - Ferrère, Thomas

AU - Henzinger, Thomas

AU - da Costa, Ana Oliveira

A2 - Nickovic, Dejan

PY - 2022

Y1 - 2022

U2 - 10.1007/978-3-030-99429-7

DO - 10.1007/978-3-030-99429-7

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-030-99428-0

SP - 3

EP - 22

BT - Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings

PB - Springer

T2 - FASE 2022

Y2 - 2 April 2022 through 7 April 2022

ER -

Bartocci E, Ferrère T, Henzinger T, Nickovic D, da Costa AO. Information-flow Interfaces. in Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Springer. 2022. S. 3-22 doi: 10.1007/978-3-030-99429-7