Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam. From Requirements to Verifiable Executable Models Using Rebeca. In Loek Cleophas, Mieke Massink, editors, Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers. Volume 12524 of Lecture Notes in Computer Science, pages 67-86, Springer, 2020. [doi]
Abstract is missing.