V. A. Nepomnyashchiy

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Hybrid Automata

Decision Making

Colored Petri Nets

Telecommunication Systems

Top Venues

Autom. Control. Comput. Sci.

Publications

Dmitri M. Beloglazov, Mikhail Mashukov, V. A. Nepomnyashchiy
Verification of telecommunication systems specified using communicating finite-state automata using colored Petri nets. Autom. Control. Comput. Sci. 46 (7) (2012)