Synthesis of Fault Detection Mechanisms TRACK: Real-Time, Embedded and Physical Systems

Dominik Sojer. Synthesis of Fault Detection Mechanisms TRACK: Real-Time, Embedded and Physical Systems. In Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011, Munich, Germany, 18-22 July 2011. pages 700-703, IEEE Computer Society, 2011. [doi]

@inproceedings{Sojer11,
  title = {Synthesis of Fault Detection Mechanisms TRACK: Real-Time, Embedded and Physical Systems},
  author = {Dominik Sojer},
  year = {2011},
  doi = {10.1109/COMPSAC.2011.108},
  url = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2011.108},
  researchr = {https://researchr.org/publication/Sojer11},
  cites = {0},
  citedby = {0},
  pages = {700-703},
  booktitle = {Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011, Munich, Germany, 18-22 July 2011},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-4439-7},
}