On the verification of strictly deterministic behavior of Timed Finite State Machines

E. M. Vinarskii; V. A. Zakharov

Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS)
Trudy Instituta sistemnogo programmirovaniâ

ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)

User

eng | рус

Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS)

Advanced search

Archives

Download this PDF file

Fullscreen

For citations:

Vinarskii E.M., Zakharov V.A. On the verification of strictly deterministic behavior of Timed Finite State Machines. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2018;30(3):325-340. https://doi.org/10.15514/ISPRAS-2018-30(3)-22

This work is licensed under a Creative Commons Attribution 4.0 License.

ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)

Username
Password
	Remember me
Not a user? Register with this site Forgot your password?

User

Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS)

For citations:

Cookies policy