Reimann, Felix;Glaß, Michael;Lukasiewycz, Martin;Keinert, Joachim;Haubelt, Christian;Teich, Jürgen
Symbolic Voter Placement for Dependability-Aware System Synthesis
Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
2008