4 citations · 4 across the 1 of their papers we have counts for
1 paper · 2 filters
Andrey Mokhov, Georgy Lukyanov, Jakob Lechner
Verification of functional correctness of control programs is an essential task for the development of space electronics; it is difficult and time-consuming and typically outweighs…