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

Deriving Distinguishing Sequences for Input/Output Automata:

, In: 2020 IEEE East-West Design & Test Symposium (EWDTS),
Yevtushenko, Nina ; Burdonov, Igor ; Kossachev, Alexandr - p. 1-5 , 2020
Link: https://doi.org/10.1109/..
 
?
2

Implementing a Virtual Network on the SDN Data Plane:

, In: 2020 IEEE East-West Design & Test Symposium (EWDTS),
Burdonov, Igor ; Yevtushenko, Nina ; Kossachev, Alexandr - p. 1-5 , 2020
Link: https://doi.org/10.1109/..
 
?
3

Synchronous Composition of Quasi-Complete and Quasi-Determi..:

, In: 2019 Actual Problems of Systems and Software Engineering (APSSE),
Burdonov, Igor ; Kossachev, Alexandr ; Yevtushenko, Nina. - p. 69-76 , 2019
Link: https://doi.org/10.1109/..
 
?
4

Virtualization-based separation of privilege : working w..:

, In: Proceedings of the 1st EuroSys Workshop on Virtualization Technology for Dependable Systems,
Burdonov, Igor ; Kosachev, Alexander ; Iakovenko, Pavel - p. 1-6 , 2009
Link: https://dl.acm.org/doi/1..
 
?
5

Preventive model-based verification and repairing for SDN r..:

Burdonov, Igor ; Kossachev, Alexandre ; Yevtushenko, Nina...
info:eu-repo/semantics/altIdentifier/arxiv/1906.03101.  , 2021
Link: https://hal.science/hal-..
 
?
6

Preventive model-based verification and repairing for SDN r..:

Burdonov, Igor ; Kossachev, Alexandre ; Yevtushenko, Nina...
info:eu-repo/semantics/altIdentifier/arxiv/1906.03101.  , 2021
Link: https://hal.science/hal-..
 
?
7

Preventive Model-based Verification and Repairing for SDN R..:

Burdonov, Igor ; Kossachev, Alexandre ; Yevtushenko, Nina...
http://arxiv.org/abs/1906.03101.  , 2019
Link: http://arxiv.org/abs/190..
 
?
8

Graph Learning by a Set of Automata. The Nondeterministic C..:

Igor Burdonov ; Alexander Kosachev
https://ispranproceedings.elpub.ru/jour/article/view/576.  , 2018
Link: https://doi.org/10.15514..
 
?
9

Building direct and back spanning trees by automata on a gr..:

Igor Burdonov ; Alexander Kossachev
https://ispranproceedings.elpub.ru/jour/article/view/861.  , 2018
Link: https://doi.org/10.15514..
 
?
10

Graph learning by a set of automata:

Igor Burdonov ; Alexander Kosachev
https://ispranproceedings.elpub.ru/jour/article/view/790.  , 2018
Link: https://doi.org/10.15514..
 
?
11

Monitoring of dynamically changed graph:

Igor Burdonov ; Alexander Kosachev
https://ispranproceedings.elpub.ru/jour/article/view/577.  , 2018
Link: https://doi.org/10.15514..
 
?
12

Parallel calculations by automata on direct and back spanni..:

Igor Burdonov ; Alexander Kossachev ; Victor Kuliamin
https://ispranproceedings.elpub.ru/jour/article/view/862.  , 2018
Link: https://doi.org/10.15514..
 
?
13

Conformance theory development: semantics, formal models, a..:

Igor Burdonov ; Alexander Kossatchev
https://ispranproceedings.elpub.ru/jour/article/view/764.  , 2018
Link: https://doi.org/10.15514..
 
?
14

Parallel Calculations on Dynamic Graph:

Igor Burdonov ; Alexander Kossatchev
https://ispranproceedings.elpub.ru/jour/article/view/1098.  , 2018
Link: https://doi.org/10.15514..
 
?
15

Automata system: determinism conditions and testing:

Igor Burdonov ; Alexander Kossatchev
https://ispranproceedings.elpub.ru/jour/article/view/32.  , 2018
Link: https://doi.org/10.15514..
 
1-15