Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Model of Verification of Distributed Storage Systems., , , , , and . EWDTS, page 1-7. IEEE, (2023)Development of Checkability in FPGA Components of Safety-Related Systems., , , , and . ICTES, volume 2762 of CEUR Workshop Proceedings, page 30-42. CEUR-WS.org, (2020)Behavioral Agent Testing of Distributed Information Systems., , , , and . ICTES, volume 2762 of CEUR Workshop Proceedings, page 110-121. CEUR-WS.org, (2020)Augmented Checkability of LUT-oriented Circuits in FPGA-based Components of Safety-Related Systems., , , , and . IntelITSIS, volume 3156 of CEUR Workshop Proceedings, page 474-483. CEUR-WS.org, (2022)A Method of Developing a Checkable Self-Recovery Floating-Point Pipeline System., , , , and . IntelITSIS, volume 2623 of CEUR Workshop Proceedings, page 357-367. CEUR-WS.org, (2020)Improving of a Circuit Checkability and Trustworthiness of Data Processing Results in LUT-based FPGA Components of Safety-Related Systems., , , and . ICTERI, volume 1844 of CEUR Workshop Proceedings, page 654-661. CEUR-WS.org, (2017)Evaluating Real Checkability for FPGA-Based Components of Safety-Related Systems., , , , , , and . COLINS, volume 2870 of CEUR Workshop Proceedings, page 1832-1842. CEUR-WS.org, (2021)Using Natural Version Redundancy of FPGA Projects in Area of Critical Applications., , , , and . DESSERT, page 58-64. IEEE, (2020)Hierachical Model of Behavior On-line Testing for Distributed Information Systems., , , , , , and . IDAACS, page 724-729. IEEE, (2019)Multi-level Method of Behavioral Online Testing of Distributed Information Systems., , , and . IDAACS, page 279-284. IEEE, (2019)