On verification of D-detectability for discrete event systems
2021 ◽
Vol 133
◽
pp. 109884
Jiří Balun
◽
Tomáš Masopust
Martin E. Kaliski
◽
Sylvia Ritz
Jing-Yue Lin
◽
Dan Ionescu
1992 ◽
Vol 25
(20)
◽
pp. 237-242
Dan Ionescu
◽
Jing-Yue Lin
◽
Hyung Soo Hwang
YuFeng Chen
◽
YuTing Li
◽
ZhiWu Li
◽
NaiQi Wu
Weilin Deng
◽
Daowen Qiu
◽
Jingkai Yang
2020 ◽
Vol 53
(4)
◽
pp. 211-216
Lihua Wu
◽
Kai Cai
◽
Renyuan Zhang
◽
Yingying Liu
2020 ◽
Vol 53
(4)
◽
pp. 344-349
2020 ◽
Vol 53
(2)
◽
pp. 2075-2080
Jiří Balun
◽
Tomáš Masopust