%0 Conference Paper %1 conf/ecsa/MorrisSHHAB20 %A Morris, Karla %A Snook, Colin F. %A Hoang, Thai Son %A Hulette, Geoffrey C. %A Armstrong, Robert C. %A Butler, Michael J. %B ECSA Companion %D 2020 %E Muccini, Henry %E Avgeriou, Paris %E Buhnova, Barbora %E Cámara, Javier %E Caporuscio, Mauro %E Franzago, Mirco %E Koziolek, Anne %E Scandurra, Patrizia %E Trubiani, Catia %E Weyns, Danny %E Zdun, Uwe %I Springer %K dblp %P 311-325 %T Formal Verification of Run-to-Completion Style Statecharts Using Event-B. %U http://dblp.uni-trier.de/db/conf/ecsa/ecsa2020c.html#MorrisSHHAB20 %V 1269 %@ 978-3-030-59155-7

@inproceedings{conf/ecsa/MorrisSHHAB20, added-at = {2022-11-22T00:00:00.000+0100}, author = {Morris, Karla and Snook, Colin F. and Hoang, Thai Son and Hulette, Geoffrey C. and Armstrong, Robert C. and Butler, Michael J.}, biburl = {https://www.bibsonomy.org/bibtex/21deca7f903ba3e0a2ea16cde2f12c73f/dblp}, booktitle = {ECSA Companion}, crossref = {conf/ecsa/2020c}, editor = {Muccini, Henry and Avgeriou, Paris and Buhnova, Barbora and Cámara, Javier and Caporuscio, Mauro and Franzago, Mirco and Koziolek, Anne and Scandurra, Patrizia and Trubiani, Catia and Weyns, Danny and Zdun, Uwe}, ee = {https://doi.org/10.1007/978-3-030-59155-7_24}, interhash = {df9a19ba5bcda2f2bc79629c86eb02f2}, intrahash = {1deca7f903ba3e0a2ea16cde2f12c73f}, isbn = {978-3-030-59155-7}, keywords = {dblp}, pages = {311-325}, publisher = {Springer}, series = {Communications in Computer and Information Science}, timestamp = {2024-04-10T16:15:05.000+0200}, title = {Formal Verification of Run-to-Completion Style Statecharts Using Event-B.}, url = {http://dblp.uni-trier.de/db/conf/ecsa/ecsa2020c.html#MorrisSHHAB20}, volume = 1269, year = 2020 }