Refined Interfaces for Compositional Verification.

Frédéric Lang

Published in: FORTE (2006)

Keyphrases

user interface
face verification
model checking
formal methods
data sets
databases
feature selection
multi agent
interface design
real time
real world
video sequences
formal analysis
formal verification
web interface