Cited By
View all- Harel DMarelly RMarron ASzekely S(2021)Integrating Interobject Scenarios with Intraobject Statecharts for Developing Reactive SystemsIEEE Design & Test10.1109/MDAT.2020.300680538:5(35-47)Online publication date: Oct-2021
- Koo BBae JKim SPark KKim H(2020)Test Case Generation Method for Increasing Software Reliability in Safety-Critical Embedded SystemsElectronics10.3390/electronics90507979:5(797)Online publication date: 12-May-2020
- KINOSHITA TMIYAMOTO T(2018)Realizability of Choreography Given by Two ScenariosIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences10.1587/transfun.E101.A.345E101.A:2(345-356)Online publication date: 2018
- Show More Cited By