Monitoring of hybrid systems using behavioural system specification - Mekacher, Leila; Wagner, Achim; Badreddin, Essameddin (IFAC Proceedings Volumes, 2011)
Gesehen am 27.01.2020