Login / Signup

Design and verification of real-time systems.

John W. Baugh Jr.
Published in: AI in Structural Engineering (1998)
Keyphrases
  • real time systems
  • embedded systems
  • architectural model
  • real time embedded
  • real time
  • user interface
  • distributed systems
  • design process
  • functional verification
  • data streams
  • model checking