Automated generation of consistent models using qualitative abstractions and exploration strategies

Aren A. Babikian, Oszkár Semeráth, Anqi Li, Kristóf Marussy, Dániel Varró. Automated generation of consistent models using qualitative abstractions and exploration strategies. Software and Systems Modeling, 21(5):1763-1787, 2022. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.