1
Publications
41
Citations
1
H-Index
2023
Active since
Yuriy Diachenko is an author specializing in formal verification, fault tolerance, and computer engineering.
Top concepts
EngineeringVerificationFormal MethodsFault ToleranceComputer ScienceFormal VerificationComputer EngineeringComputer ArchitectureFault Tolerant ControlReliability Engineering
Publications per year
2023–2023
1
1
FAULT-TOLERANT SELT-TIMED COUNTERS
A. A. Zatsarinny, Yuriy Stepchenkov, Yuriy Diachenko et al. · 2023 · 41 citations · Full text
Rows per page
1–1 of 1