Sign in

Early Consistency Checking between Specification and Implementation Variabilities.

Xhevahire TërnavaPhilippe Collet
Published in: SPLC (A) (2017)
Keyphrases
  • consistency checking
  • stochastic search
  • temporal reasoning
  • high level
  • databases
  • specification language
  • keywords
  • search algorithm
  • multiagent systems
  • data exchange