Test platform for fault tolerant systems design properties verification

Martin Straka, Lukas Miculka, Jan Kastil, Zdenek Kotásek. Test platform for fault tolerant systems design properties verification. In Jaan Raik, Viera Stopjaková, Heinrich Theodor Vierhaus, Witold A. Pleskacz, Raimund Ubar, Helena Kruus, Maksim Jenihhin, editors, IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2012, Tallinn, Estonia, April 18-20, 2012. pages 336-341, IEEE, 2012. [doi]

@inproceedings{StrakaMKK12,
  title = {Test platform for fault tolerant systems design properties verification},
  author = {Martin Straka and Lukas Miculka and Jan Kastil and Zdenek Kotásek},
  year = {2012},
  doi = {10.1109/DDECS.2012.6219084},
  url = {http://dx.doi.org/10.1109/DDECS.2012.6219084},
  researchr = {https://researchr.org/publication/StrakaMKK12},
  cites = {0},
  citedby = {0},
  pages = {336-341},
  booktitle = {IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2012, Tallinn, Estonia, April 18-20, 2012},
  editor = {Jaan Raik and Viera Stopjaková and Heinrich Theodor Vierhaus and Witold A. Pleskacz and Raimund Ubar and Helena Kruus and Maksim Jenihhin},
  publisher = {IEEE},
  isbn = {978-1-4673-1187-8},
}