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

researchr

You are not signed in
Sign in
Sign up

Michael J. Butler, Dana Dghaym, Thai Son Hoang, Tope Omitola, Colin F. Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer, Peter Tummeltshammer. Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3. In Jun Pang 0001, Jing Sun 0002, editors, 24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019. pages 97-106, IEEE, 2019. [doi]

This author has not been identified. Look up 'Michael J. Butler' in GoogleThis author has not been identified. Look up 'Dana Dghaym' in GoogleThis author has not been identified. Look up 'Thai Son Hoang' in GoogleThis author has not been identified. Look up 'Tope Omitola' in GoogleThis author has not been identified. Look up 'Colin F. Snook' in GoogleThis author has not been identified. Look up 'Andreas Fellner' in GoogleThis author has not been identified. Look up 'Rupert Schlick' in GoogleThis author has not been identified. Look up 'Thorsten Tarrach' in GoogleThis author has not been identified. Look up 'Tomas Fischer' in GoogleThis author has not been identified. Look up 'Peter Tummeltshammer' in Google

runs on WebDSL