Faster Analysis of Formal Specifications.

Fabrice Bouquet Bruno Legeard Mark Utting Nicolas Vacelet

Published in: ICFEM (2004)

Keyphrases

formal specification
case study
data analysis
database
neural network
artificial intelligence
statistical analysis
building blocks
database design
design methodology