Sign in
Hazards of Verification.
Daniel Jackson
Published in:
Haifa Verification Conference (2008)
Keyphrases
</>
model checking
data sets
asynchronous circuits
early warning
information technology
functional verification
verification method
emergency response
multi agent
risk assessment
image sequences
decision making
test generation
computer vision
social networks
concurrent systems
genetic algorithm