Ensuring the Survivability of a Complex Technical System Under Special Conditions
The objective of the research presented in this article was to develop an algorithm for ensuring the survivability of a complex technical system under special conditions. The principles and methods of system analysis, formal verification and mathematical apparatus of temporal logic of actions were a...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Peoples’ Friendship University of Russia (RUDN University)
2025-07-01
|
| Series: | RUDN Journal of Engineering Research |
| Subjects: | |
| Online Access: | https://journals.rudn.ru/engineering-researches/article/viewFile/45011/25004 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!