User: Guest  Login
If you experience problems opening the document, please try this link.
Title:

Symbolic Voter Placement for Dependability-Aware System Synthesis

Author(s):
Reimann, Felix; Glaß, Michael; Lukasiewycz, Martin; Keinert, Joachim; Haubelt, Christian; Teich, Jürgen
Book / Congress title:
Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Publisher address:
Atlanta, USA
Year:
2008
Pages:
626--629
 BibTeX