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
- Zhang SGenga LDekker LNie HLu XDuan HKaymak U(2022)Fuzzy multi-perspective conformance checking for business processesApplied Soft Computing10.1016/j.asoc.2022.109710130(109710)Online publication date: Nov-2022
- Jyotish NSingh LKumar C(2022)A state-of-the-art review on performance measurement petri net models for safety critical systems of NPPAnnals of Nuclear Energy10.1016/j.anucene.2021.108635165(108635)Online publication date: Jan-2022
- Show More Cited By