The following pages link to A. A. jun. Letichevskii (Q1406344):
Displayed 13 items.
- (Q895072) (redirect page) (← links)
- Generating symbolic traces in the insertion modeling system (Q895075) (← links)
- Semantics of timed message sequence charts (Q1406345) (← links)
- Insertion programming (Q1429048) (← links)
- (Q1650370) (redirect page) (← links)
- Insertion modeling and its applications (Q1650372) (← links)
- Cyber-physical systems (Q1699390) (← 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)
- Properties of a predicate transformer of the VRS system (Q2452750) (← links)
- Systems specification by basic protocols (Q2508786) (← links)
- Basic protocols, message sequence charts, and the verification of requirements specifications (Q2573328) (← links)