Fault-tolerant control synthesis and verification of distributed embedded systems Conference Paper uri icon

publication date

  • January 1, 2014