Contracts for BIP: Hierarchical Interaction Models for Compositional Verification.

Susanne Graf Sophie Quinton

Published in: FORTE (2007)

Keyphrases

database
decision making
decision trees
probabilistic model
human computer interaction
model checking
neural network
artificial intelligence
case study
image sequences
user interaction
process model
statistical models
computational models