A Specification Case Study Using the B-Methodology.

Published in: Softw. Test. Verification Reliab. (1992)

Keyphrases

case study
real world
real time
artificial intelligence
feature selection
lessons learned
formal verification
data sets
databases
neural network
similarity measure
objective function
object oriented
business process
theoretical framework