Behaviour-Driven Formal Model Development

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

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

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

Journal number: 11232

Journal publisher: Springer International Publishing

Published year: 2018

Published pages: 21-36

DOI identifier: 10.1007/978-3-030-02450-5_2

ISBN: 978-3-030-02449-9