Automated Logical-Probabilistic Methodology and Software Tool as Component of the Complex of Methodologies and Software Tools for Evaluation of Reliability and Survivability of Onboard Equipment of Small Satellites

Vadim Skobtsov, Natalia Lapitskaja, Roman Saksonov, Semyon A. Potryasaev. Automated Logical-Probabilistic Methodology and Software Tool as Component of the Complex of Methodologies and Software Tools for Evaluation of Reliability and Survivability of Onboard Equipment of Small Satellites. In Radek Silhavy, editor, Software Engineering and Algorithms in Intelligent Systems - Proceedings of 7th Computer Science On-line Conference 2018, Volume 1. Volume 763 of Advances in Intelligent Systems and Computing, pages 452-463, Springer, 2018. [doi]