Formal Synthesis of Safety Controller Code for Distributed Controllers. - Missal, Dirk (Hallenser Schriften Zur Automatisierungstechnik Ser., 2012)
Annotation