Login / Signup
Goal-Satisfaction Verification to Combination of Use Case Components.
Saeko Matsuura
Shinpei Ogata
Yoshitaka Aoki
Published in:
ENASE (2018)
Keyphrases
</>
model checking
face verification
databases
decision making
artificial neural networks
building blocks
customer satisfaction
database
computer vision
image processing
multiscale
temporal logic
software components
combining multiple
formal analysis