Sign in

Filmstripping and Unrolling: A Comparison of Verification Approaches for UML and OCL Behavioral Models.

Frank HilkenPhilipp NiemannMartin GogollaRobert Wille
Published in: TAP@STAF (2014)
Keyphrases
  • metamodel
  • behavioral models
  • model checking
  • database
  • software engineering
  • modeling language
  • uml diagrams
  • data mining
  • semi automatic
  • information sharing