About this scholarly article

2015 International Siberian Conference on Control and Communications (SIBCON) - Verification of timed Finite State Machines by Kidyarova, Galina; Yevtushenko, Nina is a scholarly article available to read on EtoBox.

Author

Kidyarova, Galina; Yevtushenko, Nina

Publisher

IEEE

Published

2015

Language

EN