Automatic pattern-based consistency checking in model refactoring: introducing a formal behavioral preserving method
Crossref DOI link: https://doi.org/10.1007/s11334-022-00525-8
Published Online: 2023-02-17
Published Print: 2024-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ghaedi Heidari, Saeedeh
Ajoudanian, Shohreh http://orcid.org/0000-0001-8798-787X
Text and Data Mining valid from 2023-02-17
Version of Record valid from 2023-02-17
Article History
Received: 21 June 2022
Accepted: 20 December 2022
First Online: 17 February 2023