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

Testing and incremental conformance testing of timed state ..:

Tvardovskii, Aleksandr ; El-Fakih, Khaled ; Yevtushenko, Nina
Science of Computer Programming.  233 (2024)  - p. 103053 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Test Derivation against Timed Finite State Machines with Ou..:

, In: 2023 International Russian Automation Conference (RusAutoCon),
Tvardovskii, Aleksandr ; Yevtushenko, Nina - p. 255-260 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Using Homing Traces for Simplifying Passive Testing of Disc..:

, In: 2022 International Russian Automation Conference (RusAutoCon),
Tvardovskii, Aleksandr ; Yevtushenko, Nina - p. 86-91 , 2022
Link: https://doi.org/10.1109/..
 
?
4

Deriving homing sequences for Finite State Machines with ti..:

Tvardovskii, Aleksandr ; Yevtushenko, Nina
The Computer Journal.  66 (2022)  9 - p. 2181-2190 , 2022
Link: https://doi.org/10.1093/..
 
?
5

Adaptive Experiments for State Identification in Finite Sta..:

, In: Lecture Notes in Computer Science; Machines, Computations, and Universality,
Tvardovskii, Aleksandr ; Yevtushenko, Nina - p. 172-188 , 2022
Link: https://doi.org/10.1007/..
 
?
6

Deriving Tests with Guaranteed Fault Coverage for Finite St..:

, In: Testing Software and Systems; Lecture Notes in Computer Science,
Tvardovskii, Aleksandr ; El-Fakih, Khaled ; Yevtushenko, Nina - p. 149-154 , 2018
Link: https://doi.org/10.1007/..
 
?
7

Testing Timed Nondeterministic Finite State Machines with t..:

Tvardovskii, Aleksandr ; El-Fakih, Khaled ; Gromov, Maxim.
Automatic Control and Computer Sciences.  51 (2017)  7 - p. 724-730 , 2017
Link: https://doi.org/10.3103/..
 
?
8

Refining the Specification FSM When Deriving Test Suites w...:

Tvardovskii, Aleksandr
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-67549-7_22.  , 2017
Link: https://hal.inria.fr/hal..
 
?
9

Refining the Specification FSM When Deriving Test Suites w...:

Tvardovskii, Aleksandr
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-67549-7_22.  , 2017
Link: https://hal.inria.fr/hal..
 
?
10

Deriving Homing Sequences for Finite State Machines with Ti..:

Aleksandr Sergeevich Tvardovskii ; Nina Vladimirovna Yevtushenko
https://www.mais-journal.ru/jour/article/view/1431.  , 2020
Link: https://doi.org/10.18255..
 
?
11

FSM abstraction based method for deriving test suites with ..:

Aleksandr Sergeevitch Tvardovskii ; Nina Vladimirovna Evtushenko
https://ispranproceedings.elpub.ru/jour/article/view/1169.  , 2019
Link: https://doi.org/10.15514..
 
?
12

Testing Timed Nondeterministic Finite State Machines with t..:

Aleksandr S. Tvardovskii ; Khaled El-Fakih ; Maksim L. Gromov.
https://www.mais-journal.ru/jour/article/view/537.  , 2017
Link: https://doi.org/10.18255..
 
?
13

Testing Timed Nondeterministic Finite State Machines with t..:

Aleksandr S. Tvardovskii ; Khaled El-Fakih ; Maksim L. Gromov...
https://www.mais-journal.ru/jour/article/view/537/413.  , 2017
Link: https://www.mais-journal..
 
?
14

Prosa:

Tvardovskij, Aleksandr Trifonovič ; Weist, Leonore ; Thun, Nyota - 1. Aufl . , 1985
Exemplar:  Zentrale:Magazinturm-E02 a sla 259 tva 1/779
 
?
15

Pisʹma o literature 

1930 - 1970 
Tvardovskij, Aleksandr Trifonovič ; Tvardovskaja, Marija Illarionovna , 1985
Exemplar:  Zentrale:Magazinturm-E02 a sla 259 tva 2/383
 
1-15