Mikhail Mashukov

Publication Activity (10 Years)

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

Top Topics

Hybrid Automata

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)
Valery A. Nepomniaschy, Dmitri M. Beloglazov, Tatiana G. Churina, Mikhail Mashukov
Using Coloured Petri Nets to Model and Verify Telecommunications Systems. CSR (2008)