Login / Signup

Modeling and Validating Distributed Embedded Real-Time Systems with VDM++.

Marcel VerhoefPeter Gorm LarsenJozef Hooman
Published in: FM (2006)
Keyphrases
  • embedded real time systems
  • distributed systems
  • real time
  • multi agent
  • cooperative
  • petri net
  • distributed environment
  • embedded systems
  • database
  • databases
  • information systems
  • response time