Mixed-semantics composition of statecharts for the component-based design of reactive systems.
Saved in:
| Title: | Mixed-semantics composition of statecharts for the component-based design of reactive systems. |
|---|---|
| Authors: | Graics, Bence1,2, graics@mit.bme.hu, Molnár, Vince1,2, Vörös, András1,2, Majzik, István1, Varró, Dániel1,2,3 |
| Source: | Software & Systems Modeling; Nov2020, Vol. 19 Issue 6, p1483-1517, 35p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| ISSN: | 16191366 |
|---|---|
| DOI: | 10.1007/s10270-020-00806-5 |