Login / Signup

Safety Analysis of Timing Properties in Real-Time Systems.

Farnam JahanianAloysius K. Mok
Published in: IEEE Trans. Software Eng. (1986)
Keyphrases
  • real time systems
  • safety analysis
  • distributed systems
  • real time
  • nuclear power plant
  • embedded systems
  • safety critical
  • low cost
  • real time embedded
  • software engineering
  • symbolic model checking
  • fault model