Roman Saksonov

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Probabilistic Logic

Fully Automated

Evaluation Methodologies

Top Venues

Publications

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. CSOS (1) (2018)