Login / Signup

The observer-based technique for requirements validation in embedded real-time systems.

Jiale ZhouYue LuKristina Lundqvist
Published in: RET (2014)
Keyphrases
  • embedded real time systems
  • real time systems
  • real time
  • embedded systems
  • real world
  • distributed systems
  • semi automatic