Login / Signup
Experiences with Modeling and Verification of Regulations.
Jan Vanthienen
Christophe Mues
Stijn Goedertier
Published in:
ReMo2V (2006)
Keyphrases
</>
formal verification
wide range
modeling framework
data sets
databases
information retrieval
web services
case study
database systems
modeling language