Applying VDM to large developments.

Yves Ledru Pierre-Yves Schobbens

Published in: Formal Methods in Software Development (1990)

Keyphrases

artificial intelligence
active learning
information systems
case study
expert systems
moving objects
multi dimensional