Safety Analysis of Computer-Controlled Real-Time Systems with Message Loss Using Communicating DEVS Models.

Hae Sang SongTag Gon Kim
Published in: AsiaSim (1) (2012)
Keyphrases
  • real time systems
  • computer controlled
  • safety analysis
  • case study
  • software engineering
  • distributed systems
  • process model
  • safety critical