Login / Signup

Specification of the MAA Standard in VDM.

Graeme I. P. ParkinG. O'Neill
Published in: VDM Europe (1) (1991)
Keyphrases
  • data sets
  • formal specification
  • specification language
  • real time
  • neural network
  • learning environment