The VDM-SL Editor and Consistency Checker.

Flemming M. Damm Hans Bruun Bo Stig Hansen

Published in: VDM Europe (1) (1991)

Keyphrases

artificial intelligence
decision making
website
consistency checking
real time
machine learning
support vector