Login / Signup

Automated generation of consistent models using qualitative abstractions and exploration strategies.

Aren A. BabikianOszkár SemeráthAnqi LiKristóf MarussyDániel Varró
Published in: Softw. Syst. Model. (2022)
Keyphrases