Prototype de Venus: Un Outil d'Aide à la Verification de Systemes Communicants.

Published in: STACS (1988)

Keyphrases

database
decision making
model checking
formal analysis
data sets
image sequences
test bed
production rules
formal verification
person identification