Login / Signup
Modular Verification of Interactive Systems with an Application to Biology.
Peter Drábik
Andrea Maggiolo-Schettini
Paolo Milazzo
Published in:
Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases
</>
interactive systems
human computer interaction
digital entertainment
user interface
scientific fields
model checking
learning systems
face verification
molecular biology
artificial intelligence
verification method
concurrent systems
neural network
multimedia
seemingly unrelated
functional verification
modular neural networks
modular structure
highly flexible
social intelligence
signature verification
search engine