selected publications

• conference paper

  • Fault-tolerant control synthesis and verification of distributed embedded systems.  Design, Automation, and Test in Europe. 56. 2014
  • Fault-tolerant control synthesis and verification of distributed embedded systems.  Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014. 2014
  • Fault-tolerant control synthesis and verification of distributed embedded systems.  Design, Automation & Test in Europe Conference & Exhibition (DATE), 2014. 2014