Formal Techniques in Real-Time and Fault-Tolerant Systems

@inproceedings{Ravn1991FormalTI,
  title={Formal Techniques in Real-Time and Fault-Tolerant Systems},
  author={Anders P. Ravn and Hans Rischel and John C. Knight and Joseph Sifakis and Paritosh K. Pandya and Dang Van Hung},
  booktitle={Lecture Notes in Computer Science},
  year={1991}
}
formal techniques in real time and fault tolerant systems formal techniques in real-time and fault-tolerant systems formal techniques in real time and fault tolerant systems formal techniques in real time and fault tolerant systems formal techniques in real time and fault tolerant systems monitoring, fault diagnosis and testing real-time systems efficient fault tolerant scheduling techniques and backup lecture notes in computer science link.springer fault-tolerant deployment of embedded… CONTINUE READING

Similar Papers

Loading similar papers…