Login / Signup

Automatic Synthesis of Real Time Systems.

Jørgen H. AndersenKåre J. KristoffersenKim Guldstrand LarsenJesper Niedermann
Published in: ICALP (1995)
Keyphrases
  • real time systems
  • real time
  • embedded systems
  • distributed systems
  • timing constraints
  • real time database systems
  • real time embedded
  • object oriented programming language
  • artificial intelligence
  • data streams