Login / Signup
Subtypes for Specifications.
John M. Rushby
Published in:
ESEC / SIGSOFT FSE (1997)
Keyphrases
</>
formal specification
specification language
cancer diagnosis
breast cancer
delay insensitive
data sets
computer vision
information systems
artificial neural networks
gene expression profiles
neural network
high level
logistic regression
written in natural language