Supervisor Synthesis for Mealy Automata With Output Functions: A Model Transformation Approach
2017 ◽
Vol 62
(5)
◽
pp. 2576-2581
◽
2010 ◽
Vol 27
(3)
◽
pp. 207-216
◽
Keyword(s):
2016 ◽
Vol 80
◽
pp. 138-157
◽
Keyword(s):
2013 ◽
Vol 756-759
◽
pp. 2168-2172
Keyword(s):
2021 ◽
Vol 36
(1)
◽
pp. 13-39
Keyword(s):