Behaviour-Driven Formal Model Development.

Colin Snook; Thai Son Hoang; Dana Dghyam; Michael Butler; Tomas Fischer; Rupert Schlick; Keming Wang

doi:10.1007/978-3-030-02450-5

Behaviour-Driven Formal Model Development.

Colin Snook
, Thai Son Hoang
, Dana Dghyam
, Michael Butler
, Tomas Fischer
, Rupert Schlick
, Keming Wang

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

Originalsprache	Englisch
Titel	Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Herausgeber (Verlag)	Springer
Seiten	21-36
Seitenumfang	16
ISBN (Print)	978-3-030-02449-9
DOIs	https://doi.org/10.1007/978-3-030-02450-5
Publikationsstatus	Veröffentlicht - 2018

Research Field

Dependable Systems Engineering

Zugriff auf Dokument

10.1007/978-3-030-02450-5Lizenz: Nicht angegeben

Diese Publikation zitieren

Snook, C., Son Hoang, T., Dghyam, D., Butler, M., Fischer, T., Schlick, R., & Wang, K. (2018). Behaviour-Driven Formal Model Development. in Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings (S. 21-36). Springer. https://doi.org/10.1007/978-3-030-02450-5

@inbook{f4ee3c9d95be4789b101b8217f856426,

title = "Behaviour-Driven Formal Model Development.",

author = "Colin Snook and \{Son Hoang\}, Thai and Dana Dghyam and Michael Butler and Tomas Fischer and Rupert Schlick and Keming Wang",

year = "2018",

doi = "10.1007/978-3-030-02450-5",

language = "English",

isbn = "978-3-030-02449-9",

pages = "21--36",

booktitle = "Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings",

publisher = "Springer",

address = "Germany",

}

Behaviour-Driven Formal Model Development. / Snook, Colin; Son Hoang, Thai; Dghyam, Dana et al.
Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. Springer, 2018. S. 21-36.

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

TY - CHAP

T1 - Behaviour-Driven Formal Model Development.

AU - Snook, Colin

AU - Son Hoang, Thai

AU - Dghyam, Dana

AU - Butler, Michael

AU - Fischer, Tomas

AU - Schlick, Rupert

AU - Wang, Keming

PY - 2018

Y1 - 2018

U2 - 10.1007/978-3-030-02450-5

DO - 10.1007/978-3-030-02450-5

M3 - Conference Proceedings without Presentation

SN - 978-3-030-02449-9

SP - 21

EP - 36

BT - Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

PB - Springer

ER -