Login / Signup

Symbolic voter placement for dependability-aware system synthesis.

Felix ReimannMichael GlaßMartin LukasiewyczJoachim KeinertChristian HaubeltJürgen Teich
Published in: CODES+ISSS (2008)
Keyphrases