Login / Signup

Safety Property Analysis Techniques for Cooperating Embedded Systems Using LTS.

Woo Jin LeeHo-Jun KimHeung Seok Chae
Published in: SEUS (2007)
Keyphrases
  • embedded systems
  • low cost
  • computing power
  • open source
  • embedded devices
  • safety critical
  • real time image processing
  • multi agent
  • software systems
  • processing power
  • resource limited