Construction of CFC-programs by LTL-specification

D. A. Ryabukhin; E. V. Kuzmin; V. A. Sokolov

Modeling and Analysis of Information Systems
Modelirovanie i analiz informacionnyh sistem

ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)

User

eng | рус

Modeling and Analysis of Information Systems

Advanced search

Archives

Download this PDF file

Fullscreen

For citations:

Ryabukhin D.A., Kuzmin E.V., Sokolov V.A. Construction of CFC-programs by LTL-specification. Modeling and Analysis of Information Systems. 2016;23(2):173-184. (In Russ.) https://doi.org/10.18255/1818-1015-2016-2-173-184

Views PDF (Rus): 1446

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

ISSN 1818-1015 (Print)
ISSN 2313-5417 (Online)

* not an advertisement

Indexing Databases

* not an advertisement

Popular articles

Editor-in-Chief

Egor V. Kuzmin

Article Tools

How to cite item

Finding References

Email this article (Login required)

Email the author (Login required)

About the Authors

D. A. Ryabukhin
P.G. Demidov Yaroslavl State University, Sovetskaya str., 14, Yaroslavl, 150000, Russia
Russian Federation

graduate student

E. V. Kuzmin
P.G. Demidov Yaroslavl State University, Sovetskaya str., 14, Yaroslavl, 150000, Russia
Russian Federation

doctor of science, associate professor

V. A. Sokolov
P.G. Demidov Yaroslavl State University, Sovetskaya str., 14, Yaroslavl, 150000, Russia
Russian Federation

doctor of science, professor

Notifications

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

User

Modeling and Analysis of Information Systems

For citations:

Cookies policy