You are here

Benjamin Bittner

Former Member
  • Phone: 0461314139
  • FBK Povo
Research interests
formal verification; safety-critical systems; fault management; diagnosability; recoverability; failure propagation analysis; fdir; model-based system engineering.