A Comprehensive Model of Secure Cyber-Physical Systems for their Design and Verification

D. .. Levshun; A. .. Chechulin; I. .. Kotenko

Proceedings of Telecommunication Universities
Trudy učebnyh zavedenij svâzi

ISSN 1813-324X (Print)
ISSN 2712-8830 (Online)

User

eng | рус

Proceedings of Telecommunication Universities

Advanced search

Archives

Download this PDF file

Fullscreen

For citations:

Levshun D..., Chechulin A..., Kotenko I... A Comprehensive Model of Secure Cyber-Physical Systems for their Design and Verification. Proceedings of Telecommunication Universities. 2019;5(4):114-123. (In Russ.) https://doi.org/10.31854/1813-324X-2019-5-4-114-123

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

ISSN 1813-324X (Print)
ISSN 2712-8830 (Online)

* not an advertisement

Indexing Databases

* not an advertisement

Popular articles

Editor-in-Chief

Ruslan V. Kirichek

Article Tools

Finding References

Email this article (Login required)

Email the author (Login required)

About the Authors

D. .. Levshun
St. Petersburg Institute for Informatics and Automation of the Russian Academy of Science; St. Petersburg National Research University of Information Technologies, Mechanics and Optics
Russian Federation

A. .. Chechulin
St. Petersburg Institute for Informatics and Automation of the Russian Academy of Science; The Bonch-Bruevich Saint-Petersburg State University of Telecommunications
Russian Federation

I. .. Kotenko
St. Petersburg Institute for Informatics and Automation of the Russian Academy of Science; The Bonch-Bruevich Saint-Petersburg State University of Telecommunications
Russian Federation

Notifications

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

User

Proceedings of Telecommunication Universities

For citations:

Cookies policy