Login / Signup
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