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

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings without Presentation

Original language	English
Title of host publication	2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)
Pages	97-106
Number of pages	10
DOIs	https://doi.org/10.1109/ICECCS.2019.00018
Publication status	Published - 2019

Research Field

Dependable Systems Engineering

Access to Document

10.1109/ICECCS.2019.00018Licence: Unspecified

Cite this

@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 -