External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

On Checking Controllability of Specification Languages for DES

Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul. On Checking Controllability of Specification Languages for DES. In Marko Koricic, Karolj Skala, Zeljka Car, Marina Cicin-Sain, Vlado Sruk, Dejan Skvorc, Slobodan Ribaric, Bojan Jerbic, Stjepan Gros, Boris Vrdoljak, Mladen Mauher, Edvard Tijan, Tihomir Katulic, Predrag Pale, Tihana Galinac Grbac, Nikola Filip Fijan, Adrian Boukalov, Dragan Cisic, Vera Gradisnik, editors, 43rd International Convention on Information, Communication and Electronic Technology, MIPRO 2020, Opatija, Croatia, September 28 - October 2, 2020. pages 1151-1156, IEEE, 2020. [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 V. Nagul

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