Generation, composition, and verification of families of human-intensive systems.

Borislava I. Simidchieva Leon J. Osterweil

Published in: SPLC (2014)

Keyphrases

human machine
intelligent systems
computer systems
neural network
expert systems
face verification
human operators
person identification
gait analysis
learning algorithm
mobile devices
evolutionary algorithm
computational intelligence
model checking
human centered