An Executable Subset of VDM-SL, in an SA/RT Framework.

René Elmstrøm Poul Bøgh Lassen Michael Andersen

Published in: Real Time Syst. (1993)

Keyphrases

main contribution
multi agent systems
databases
computer vision
information systems
website
computational model
genetic algorithm ga
key features
conceptual framework
framework enables