Sign in

Towards accessible integration and deployment of formal tools and techniques.

Andrei LapetsRichard SkowyraAzer BestavrosAssaf J. Kfoury
Published in: TOPI@ICSE (2013)
Keyphrases
  • formal methods
  • formal models
  • management tools
  • formal model
  • software tools
  • machine learning
  • information retrieval
  • digital libraries
  • mobile devices
  • business intelligence
  • data integration
  • visual languages