Cited By
View all- UL Muram FTran HZdun U(2022)Supporting automated containment checking of software behavioural models using model transformations and model checkingScience of Computer Programming10.1016/j.scico.2019.01.005174:C(38-71)Online publication date: 18-Apr-2022
- Jošt GHeriă?Ko MPolană?Iă? G(2019)Theoretical foundations and implementation of business process diagrams' complexity management technique based on highlightsSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0618-518:2(1079-1095)Online publication date: 1-Apr-2019
- Marrella AMecella MSardiña SLinares López C(2018)Supporting adaptiveness of cyber-physical processes through action-based formalismsAI Communications10.3233/AIC-17074831:1(47-74)Online publication date: 1-Jan-2018
- Show More Cited By