Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Laputenko, Andrey
5  Ergebnisse:
Personensuche X
?
1

Using Machine Learning Techniques for Assessing Media Text ..:

, In: 2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM),
Laputenko, Andrey ; Evtushenko, Tatiana ; Klochkova, Elena. - p. 1820-1824 , 2023
Link: https://doi.org/10.1109/..
 
?
2

Deriving FSM-based tests using $a,b-\text{faults}$ for Logi..:

, In: 2022 IEEE Computer Society Annual Symposium on VLSI (ISVLSI),
Laputenko, Andrey ; Yevtushenko, Nina ; Andreeva, Valentina. - p. 80-85 , 2022
Link: https://doi.org/10.1109/..
 
?
3

Optimizing Components of Multi-Module Systems Based on don'..:

, In: 2020 IEEE East-West Design & Test Symposium (EWDTS),
Shirokova, Ekaterina ; Evtushenko, Larisa ; Laputenko, Andrey. - p. 1-5 , 2020
Link: https://doi.org/10.1109/..
 
?
4

Using an SMT Solver for Checking the Completeness of FSM-Ba..:

, In: Testing Software and Systems; Lecture Notes in Computer Science,
Vinarskii, Evgenii ; Laputenko, Andrey ; Yevtushenko, Nina - p. 289-295 , 2020
Link: https://doi.org/10.1007/..
 
?
5

Using an SMT Solver for Checking the Completeness of FSM-Ba..:

Vinarskii, Evgenii ; Laputenko, Andrey ; Yevtushenko, Nina
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-64881-7_18.  , 2020
Link: https://hal.inria.fr/hal..
 
1-5