Formal Verification of Run-to-Completion Style Statecharts Using Event-B - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Karla Morris, Colin F. Snook, Thai Son Hoang, Geoffrey C. Hulette, Robert Armstrong, Michael J. Butler. Formal Verification of Run-to-Completion Style Statecharts Using Event-B. In Henry Muccini, Paris Avgeriou, Barbora Buhnova, Javier Cámara, Mauro Caporuscio, Mirco Franzago, Anne Koziolek, Patrizia Scandurra, Catia Trubiani, Danny Weyns, Uwe Zdun, editors, Software Architecture - 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings. Volume 1269 of Communications in Computer and Information Science, pages 311-325, Springer, 2020. [doi]

This author has not been identified. Look up 'Karla Morris' in GoogleThis author has not been identified. Look up 'Colin F. Snook' in GoogleThis author has not been identified. Look up 'Thai Son Hoang' in GoogleThis author has not been identified. It may be one of the following persons:

Geoffrey C. Hulette

Look up 'Geoffrey C. Hulette' in GoogleThis author has not been identified. Look up 'Robert Armstrong' in GoogleThis author has not been identified. Look up 'Michael J. Butler' in Google

runs on WebDSL