Login / Signup

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

René ElmstrømPoul Bøgh LassenMichael 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