Login / Signup

Towards reasoning about teleo-reactive programs for robust real-time systems.

Ian J. Hayes
Published in: SERENE (2008)
Keyphrases
  • real time systems
  • real time
  • distributed systems
  • embedded systems
  • real time database systems
  • mission critical
  • real time embedded
  • object oriented programming language
  • data management