Sign in

Verification of Deployed Artifact Systems via Data Abstraction.

Francesco BelardinelliAlessio LomuscioFabio Patrizi
Published in: ICSOC (2011)
Keyphrases
  • data abstraction
  • programming language
  • conceptual modelling
  • database management
  • association rules
  • distributed systems