Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems
Harel, David, Marelly, Rami, Marron, Assaf, Szekely, SmadarYear:
2020
Journal:
IEEE Design & Test
DOI:
10.1109/MDAT.2020.3006805
File:
PDF, 2.84 MB
2020