Search results for: Sebastian Fischmeister
Asian Journal of Control > 24 > 4 > 1557 - 1574
Formal Methods in System Design > 2018 > 53 > 1 > 54-82
Formal Methods in System Design > 2018 > 53 > 1 > 113-137
IEEE Embedded Systems Letters > 2017 > 9 > 1 > 17 - 20
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Papers > 381-395
IEEE Transactions on Industrial Informatics > 2016 > 12 > 5 > 1806 - 1816