Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3

Michael Butler; Dana Dghaym; Thai Son Hoang; Tope Omitola; Colin Snook; Andreas Fellner; Rupert Schlick; Thorsten Tarrach; Tomas Fischer; Peter Tummeltshammer

doi:10.1109/ICECCS.2019.00018

Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3

Michael Butler, Dana Dghaym, Thai Son Hoang, Tope Omitola, Colin Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer, Peter Tummeltshammer

Security & Communication Technologies

University of Southampton

Publikation: Beitrag in Buch oder Tagungsband › Beitrag in Tagungsband ohne Präsentation

Originalsprache	Englisch
Titel	2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)
Seiten	97-106
Seitenumfang	10
DOIs	https://doi.org/10.1109/ICECCS.2019.00018
Publikationsstatus	Veröffentlicht - 2019

Research Field

Dependable Systems Engineering

Zugriff auf Dokument

10.1109/ICECCS.2019.00018Lizenz: Nicht angegeben

Diese Publikation zitieren

@inbook{5eba0ed99fce490c96cd8e2d65d83f57,

title = "Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3",

author = "Michael Butler and Dana Dghaym and {Son Hoang}, Thai and Tope Omitola and Colin Snook and Andreas Fellner and Rupert Schlick and Thorsten Tarrach and Tomas Fischer and Peter Tummeltshammer",

year = "2019",

doi = "10.1109/ICECCS.2019.00018",

language = "English",

isbn = "978-1-7281-4646-1",

pages = "97--106",

booktitle = "2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)",

}

TY - CHAP

T1 - Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3

AU - Butler, Michael

AU - Dghaym, Dana

AU - Son Hoang, Thai

AU - Omitola, Tope

AU - Snook, Colin

AU - Fellner, Andreas

AU - Schlick, Rupert

AU - Tarrach, Thorsten

AU - Fischer, Tomas

AU - Tummeltshammer, Peter

PY - 2019

Y1 - 2019

U2 - 10.1109/ICECCS.2019.00018

DO - 10.1109/ICECCS.2019.00018

M3 - Conference Proceedings without Presentation

SN - 978-1-7281-4646-1

SP - 97

EP - 106

BT - 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)

ER -