E-LIB Suche - Ergebnisse für: Kuliamin, Victor

1

Evaluating the complexity of deriving adaptive $$S'$$-homin..:

Yevtushenko, Nina ; Kuliamin, Victor ; Kushik, Natalia
Software Quality Journal. 30 (2021) 1 - p. 161-180 , 2021

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

2

Evaluating the Complexity of Deriving Adaptive Homing, Sync..:

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

Yevtushenko, Nina ; Kuliamin, Victor ; Kushik, Natalia - p. 86-103 , 2019

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

3

Formal Modeling of Multi-Level Security and Integrity Contr..:

, In: 2019 Actual Problems of Systems and Software Engineering (APSSE),

Kuliamin, Victor ; Khoroshilov, Alexey ; Medveded, Denis - p. 131-136 , 2019

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

4

Building Open Learning Environment for Software Engineering..:

, In: Free and Open Source Software for E-Learning,

Khoroshilov, Alexey ; Kuliamin, Victor ; Petrenko, Alexander.. ,

Link: https://doi.org/10.4018/..

5

Formal Conformance Testing of Systems with Refused Inputs a..:

Bourdonov, Igor B. ; Kossatchev, Alexander S. ; Kuliamin, Victor V.
Electronic Notes in Theoretical Computer Science. 164 (2006) 4 - p. 83-96 , 2006

Link: https://doi.org/10.1016/..

6

Multi-paradigm Models as Source for Automated Test Construc..:

Kuliamin, Victor V.
Electronic Notes in Theoretical Computer Science. 111 (2005) - p. 137-160 , 2005

Link: https://doi.org/10.1016/..

7

Evaluating the complexity of deriving adaptive homing, sync..:

Yevtushenko, Nina ; Kuliamin, Victor ; Kushik, Natalia
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-31280-0_6. , 2019

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

8

Evaluating the complexity of deriving adaptive homing, sync..:

Yevtushenko, Nina ; Kuliamin, Victor ; Kushik, Natalia
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-31280-0_6. , 2019

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

9

Evaluating the complexity of deriving adaptive homing, sync..:

Yevtushenko, Nina ; Kuliamin, Victor ; Kushik, Natalia
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-31280-0_6. , 2019

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

10

Evaluating the complexity of deriving adaptive homing, sync..:

Yevtushenko, Nina ; Kuliamin, Victor ; Kushik, Natalia
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-31280-0_6. , 2019

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

11

Towards the Usage of MBT at ETSI:

Grabowski, Jens ; Kuliamin, Victor ; Feudjio, Alain-Georges Vouffo..
http://arxiv.org/abs/1303.1007. , 2013

Link: http://arxiv.org/abs/130..

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

Towards the Usage of MBT at ETSI:

Jens Grabowski ; Victor Kuliamin ; Alain-Georges Vouffo Feudjio..
http://arxiv.org/pdf/1303.1007v1. , 2013

Link: https://doi.org/10.4204/..

14

Model Based Testing Framework Using Component Technologies:

Victor V. Kuliamin
https://ispranproceedings.elpub.ru/jour/article/view/1076. , 2018

Link: https://doaj.org/article..