V. Gourcuff

Learn More
Since it is an important issue for users and system designers, verification of PLC programs has already been studied in various contexts, mostly for untimed programs. More recently, timed features were introduced and mod-eled with timed automata. In this case study, we consider a part of the so-called MSS (Mecatronic Standard System) platform from Bosh(More)
  • 1