E-LIB Suche - Ergebnisse für: Vinarskii, Evgenii - Sprache DE

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

Evaluating Length of a Shortest Adaptive Homing Sequence fo..:

, In: 2020 IEEE East-West Design & Test Symposium (EWDTS),

Vinarskii, Evgenii ; Yevtushenko, Nina - p. 1-5 , 2020

Link: https://doi.org/10.1109/..

2

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/..

3

A Model Checking Based Approach for Detecting SDN Races:

, In: Testing Software and Systems; Lecture Notes in Computer Science,

Vinarskii, Evgenii ; López, Jorge ; Kushik, Natalia.. - p. 194-211 , 2019

Link: https://doi.org/10.1007/..

4

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..

5

A model checking based approach for detecting SDN races:

Vinarskii, Evgenii ; Lopez, Jorge ; Kushik, Natalia..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-31280-0_12. , 2019

Link: https://hal.science/hal-..

6

A model checking based approach for detecting SDN races:

Vinarskii, Evgenii ; Lopez, Jorge ; Kushik, Natalia..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-31280-0_12. , 2019

Link: https://hal.science/hal-..

7

A model checking based approach for detecting SDN races:

Vinarskii, Evgenii ; Lopez, Jorge ; Kushik, Natalia..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-31280-0_12. , 2019

Link: https://hal.science/hal-..

8

A model checking based approach for detecting SDN races:

Vinarskii, Evgenii ; Lopez, Jorge ; Kushik, Natalia..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-31280-0_12. , 2019

Link: https://hal.science/hal-..

1-8