Sign in
Early Consistency Checking between Specification and Implementation Variabilities.
Xhevahire Tërnava
Philippe 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