Login / Signup
Verification of Plastic Interactive Systems.
Raquel Oliveira
Sophie Dupuy-Chessa
Gaëlle Calvary
Published in:
i-com (2015)
Keyphrases
</>
interactive systems
human computer interaction
model checking
digital entertainment
user interface
formal verification
verification method
multimedia
multiscale
formal methods
test generation
database
data sets
information retrieval
data structure
face verification