C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Assume, Guarantee or Repair.
Hadar Frenkel
Orna Grumberg
Corina S. Pasareanu
Sarai Sheinvald
Published in:
TACAS (1) (2020)
Keyphrases
</>
damage assessment
decision making
search algorithm
real time
data mining
information retrieval
objective function
multiresolution