A VDM Subset Compiler.

Christoph Blaue

Published in: VDM Europe (1) (1991)

Keyphrases

programming language
real time
databases
neural network
website
case study
evolutionary algorithm
data model
classification accuracy
operating system
software systems
distributed memory machines