Parallel Calculations on Dynamic Graph von Burdonov, Igor, Kossatchev, Alexander

Volltext

Conformance theory development: semantics, formal models, algorithms von Burdonov, Igor, Kossatchev, Alexander

Volltext

Studying Load Issues in Software-Defined Networks von Burdonov, Igor Borisovich, Yevtushenko, Nina Vladimirovna, Kossatchev, Alexander Sergeevitch

Volltext

Deriving Synchronizing and Homing Sequences for Input/Output Automata von Kushik, Natalia G., Yevtushenko, Nina V., Burdonov, Igor B., Kossatchev, Alexander S.

Volltext

Implementation of distributed and parallel computing in the SDN network von Burdonov, Igor Borisovich, Yevtushenko, Nina Vladimirovna, Kossatchev, Alexander Sergeevitch

Volltext

Secure Implementing a Virtual Network on the SDN Data Plane von Burdonov, Igor Borisovich, Yevtushenko, Nina Vladimirovna, Kossatchev, Alexander Sergeevitch

Volltext

Perfect sets of paths in the full graph of SDN network switches von Burdonov, Igor, Vinarsky, Evgeny, Yevtushenko, Nina, Kossatchev, Alexander

Volltext

Error dependencies on classes of implementations under testing von Burdonov, Igor, Kosachev, Alexander

Volltext

Preface von Gurevich, Yuri, Petrenko, Alexander K., Kossatchev, Alexander

Volltext

Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions von Bourdonov, Igor B., Kossatchev, Alexander S., Kuliamin, Victor V.

Volltext

Automata system: determinism conditions and testing von Burdonov, I.B., Kossatchev, A.S.

Volltext

UniTesK Test Suite Architecture von Bourdonov, Igor B., Kossatchev, Alexander S., Kuliamin, Victor V., Petrenko, Alexander K.

Volltext

Integration of functional and timed testing of real-time and concurrent systems von KULIAMIN, Victor V, PETRENKO, Alexander K, PAKOULIN, Nick V, KOSSATCHEV, Alexander S, BOURDONOV, Igor B

Volltext

Java Specification Extension for Automated Test Development von Bourdonov, Igor B., Demakov, Alexey V., Jarov, Andrew A., Kossatchev, Alexander S., Kuliamin, Victor V., Petrenko, Alexander K., Zelenov, Sergey V.

Volltext

UniTesK test suite architecture von BOURDONOV, Igor B, KOSSATCHEV, Alexander S, KULIAMIN, Victor V, PETRENKO, Alexander K

Volltext

Java specification extension for automated test development von BOURDONOV, Igor B, DEMAKOV, Alexey V, JAROV, Andrew A, KOSSATCHEV, Alexander S, KULIAMIN, Victor V, PETRENKO, Alexander K, ZELENOV, Sergey V

Volltext

Method and system for testing behavior of procedures von KOSSATCHEV ALEXANDER S, BURDONOV IGOR B, PETRENKO ALEXANDER K, GALTER DMITRI, BARANCEV ALEXEI V

Volltext bestellen

Method and system for testing behavior of procedures von Kossatchev, Alexander S, Barancev, Alexei V, Burdonov, Igor B, Petrenko, Alexander K, Galter, Dmitri

Volltext bestellen

Method and system for forming skeletons for generating verification systems von DEMAKOV ALEXEI V, KOSSATCHEV ALEXANDER S, BURDONOV IGOR B, PETRENKO ALEXANDER K, GALTER DMITRI, SUMAR HARRY M, BARANCEV ALEXEI V

Volltext bestellen

Method and system for forming skeletons for generating verification systems von Kossatchev, Alexander S, Barancev, Alexei V, Burdonov, Igor B, Demakov, Alexei V, Petrenko, Alexander K, Sumar, Harry M, Galter, Dmitri

Volltext bestellen