Reconciling Axiomatic and Model-Based Specifications Reprised.

Published in: ABZ (2008)

Keyphrases

real time
delay insensitive
written in natural language
database
neural network
data mining
image processing
website
case study
decision theory
formal language