The formal description of discrete-event systems using positively constructed formulas

Artem Davydov, Aleksandr Larionov, Nadezhda Nagul. The formal description of discrete-event systems using positively constructed formulas. In Petar Biljanovic, Marko Koricic, Karolj Skala, Tihana Galinac Grbac, Marina Cicin-Sain, Vlado Sruk, Slobodan Ribaric, Stjepan Gros, Boris Vrdoljak, Mladen Mauher, Edvard Tijan, Filip Hormot, editors, 40th International Convention on Information and Communication Technology, Electronics and Microelectronics, MIPRO 2017, Opatija, Croatia, May 22-26, 2017. pages 1161-1165, IEEE, 2017. [doi]

Authors

Artem Davydov

This author has not been identified. Look up 'Artem Davydov' in Google

Aleksandr Larionov

This author has not been identified. Look up 'Aleksandr Larionov' in Google

Nadezhda Nagul

This author has not been identified. Look up 'Nadezhda Nagul' in Google