The following pages link to V. S. Peschanenko (Q895073):
Displayed 6 items.
- Generating symbolic traces in the insertion modeling system (Q895075) (← links)
- Insertion semantics of VHDL as electronic design languge (Q2103782) (← links)
- Fuzz testing technique and its use in cybersecurity tasks (Q2132099) (← links)
- Modeling method for development of digital system algorithms based on programmable logic devices (Q2215843) (← links)
- Trapezoid method for solving systems of linear inequalities and its implementation in insertion modeling (Q2263246) (← links)
- Properties of a predicate transformer of the VRS system (Q2452750) (← links)