Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Kushik, Natalia
49  Ergebnisse:
OpenAccess-Volltexte X
Personensuche X
?
1

Probabilistic approach for minimizing checking sequences fo..:

Kushik, Natalia ; Yevtushenko, Nina ; López, Jorge
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-43240-8_15.  , 2023
Link: https://hal.science/hal-..
 
?
2

Actes des 22ème Journées des approches formelles dans l'ass..:

Kushik, Natalia ; Mallet, Frédéric
hal-04179353.  , 2023
Link: https://inria.hal.scienc..
 
?
3

Actes des 22ème Journées des approches formelles dans l'ass..:

Kushik, Natalia ; Mallet, Frédéric
hal-04179353.  , 2023
Link: https://inria.hal.scienc..
 
?
4

Proceedings of the 22nd Day of AFADL ; Actes des 22ème Jour..:

Kushik, Natalia ; Mallet, Frédéric
hal-04179353.  , 2023
Link: https://inria.hal.scienc..
 
?
5

On preset homing and synchronizing sequences for observable..:

Burdonov, I ; Evtushenko, N ; Kossachev, A.
info:eu-repo/semantics/altIdentifier/doi/10.1134/S0005117923060048.  , 2023
Link: https://hal.science/hal-..
 
?
6

Proceedings of the 22nd Day of AFADL ; Actes des 22ème Jour..:

Kushik, Natalia ; Mallet, Frédéric
hal-04179353.  , 2023
Link: https://inria.hal.scienc..
 
?
7

Proceedings of the 22nd Day of AFADL ; Actes des 22ème Jour..:

Kushik, Natalia ; Mallet, Frédéric
hal-04179353.  , 2023
Link: https://inria.hal.scienc..
 
?
8

Actes des 22ème Journées des approches formelles dans l'ass..:

Kushik, Natalia ; Mallet, Frédéric
hal-04179353.  , 2023
Link: https://inria.hal.scienc..
 
?
9

Probabilistic approach for minimizing checking sequences fo..:

Kushik, Natalia ; Yevtushenko, Nina ; López, Jorge
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-43240-8_15.  , 2023
Link: https://hal.science/hal-..
 
?
10

Contributions to model based test generation and monitoring..:

Kushik, Natalia
tel-03952742.  , 2022
Link: https://hal.science/tel-..
 
?
11

On using cellular automata for modeling the evolution of dy..:

Petersen, Erick ; Lopez, Jorge ; Kushik, Natalia..
info:eu-repo/semantics/altIdentifier/doi/10.1109/NCA57778.2022.10013557.  , 2022
Link: https://hal.science/hal-..
 
?
12

The no-meet matroid:

Ben-Ameur, Walid ; Kushik, Natalia ; Maddaloni, Alessandro..
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.dam.2022.12.008.  , 2022
Link: https://hal.science/hal-..
 
?
13

On using cellular automata for modeling the evolution of dy..:

Petersen, Erick ; Lopez, Jorge ; Kushik, Natalia..
info:eu-repo/semantics/altIdentifier/doi/10.1109/NCA57778.2022.10013557.  , 2022
Link: https://hal.science/hal-..
 
?
14

The no-meet matroid:

Ben-Ameur, Walid ; Kushik, Natalia ; Maddaloni, Alessandro..
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.dam.2022.12.008.  , 2022
Link: https://hal.science/hal-..
 
?
15

Dynamic link network emulation: a model-based design:

Petersen, Erick ; López, Jorge ; Kushik, Natalia..
info:eu-repo/semantics/altIdentifier/doi/10.5220/0011091100003176.  , 2022
Link: https://hal.science/hal-..
 
1-15