REACH: Refining Alloy Scenarios by Scope.

Ana Jovanovic Allison Sullivan

Published in: CoRR (2021)

Keyphrases

real time
real world
trade off
database
data mining
multi agent systems
management system
learning scenarios