Suchergebnisse - KOSSATCHEV, ALEXANDRE S

1

METHOD AND SYSTEM FOR TESTING BEHAVIOUR OF PROCEDURES von KOSSATCHEV, ALEXANDRE S, BARANCEV, ALEXEI V, BURDONOV, IGOR B, PETRENKO, ALEXANDRE K, GALTER, DMITRI

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Compiler and method for compiling specification language into implementation language von KOSSATCHEV, ALEXANDRE S, MAXIMOV, ANDREI V, SUMAR, HARRY M, BURDONOV, IGOR B, PETRENKO, ALEXANDRE K, SAZANOV, JURI L, GALTER, DMITRI, DEMAKOV, ALEXEI V

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

METHOD AND SYSTEM FOR FORMING SKELETONS FOR GENERATING VERIFICATION SYSTEMS von KOSSATCHEV, ALEXANDRE S, SUMAR, HARRY M, BARANCEV, ALEXEI V, BURDONOV, IGOR B, PETRENKO, ALEXANDRE K, GALTER, DMITRI, DEMAKOV, ALEXEI V

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

METHOD AND SYSTEM FOR DESCRIBING PREDICATES IN DISJUNCTS IN PROCEDURES FOR TEST COVERAGE ESTIMATION von KOSSATCHEV, ALEXANDRE S, MAXIMOV, ANDREI V, SUMAR, HARRY M, BURDONOV, IGOR B, SAZANOV, JURI L, PETRENKO, ALEXANDRE K, GALTER, DMITRI

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

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

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Compiler and method for compiling specification language into implementation language von KOSSATCHEV, ALEXANDRE S, MAXIMOV, ANDREI V, SUMAR, HARRY M, BURDONOV, IGOR B, PETRENKO, ALEXANDRE K, SAZANOV, JURI L, GALTER, DMITRI, DEMAKOV, ALEXEI V

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

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

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

COMPILER AND METHOD FOR COMPILING SPECIFICATION LANGUAGE INTO IMPLEMENTATION LANGUAGE von KOSSATCHEV, ALEXANDRE S, MAXIMOV, ANDREI V, SUMAR, HARRY M, BURDONOV, IGOR B, PETRENKO, ALEXANDRE K, SAZANOV, JURI L, GALTER, DMITRI, DEMAKOV, ALEXEI V

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Deriving Synchronizing and Homing Sequences for Input/Output Automata von Kushik, N. G., Yevtushenko, N. V., Burdonov, I. B., Kossatchev, A. S.

Veröffentlicht in Automatic control and computer sciences

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Using ASM Specifications for Compiler Testing von Kalinov, Alexey, Kossatchev, Alexandre, Petrenko, Alexander, Posypkin, Mikhail, Shishko, Vladimir

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

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
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

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
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

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

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

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

Volltext bestellen

Patent

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

METHOD AND SYSTEM FOR TESTING BEHAVIOUR OF PROCEDURES von KOSSATCHEV, ALEXANDRE S, BARANCEV, ALEXEI V, BURDONOV, IGOR B, PETRENKO, ALEXANDRE K, GALTER, DMITRI

Compiler and method for compiling specification language into implementation language von KOSSATCHEV, ALEXANDRE S, MAXIMOV, ANDREI V, SUMAR, HARRY M, BURDONOV, IGOR B, PETRENKO, ALEXANDRE K, SAZANOV, JURI L, GALTER, DMITRI, DEMAKOV, ALEXEI V

METHOD AND SYSTEM FOR FORMING SKELETONS FOR GENERATING VERIFICATION SYSTEMS von KOSSATCHEV, ALEXANDRE S, SUMAR, HARRY M, BARANCEV, ALEXEI V, BURDONOV, IGOR B, PETRENKO, ALEXANDRE K, GALTER, DMITRI, DEMAKOV, ALEXEI V

METHOD AND SYSTEM FOR DESCRIBING PREDICATES IN DISJUNCTS IN PROCEDURES FOR TEST COVERAGE ESTIMATION von KOSSATCHEV, ALEXANDRE S, MAXIMOV, ANDREI V, SUMAR, HARRY M, BURDONOV, IGOR B, SAZANOV, JURI L, PETRENKO, ALEXANDRE K, GALTER, DMITRI

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

Compiler and method for compiling specification language into implementation language von KOSSATCHEV, ALEXANDRE S, MAXIMOV, ANDREI V, SUMAR, HARRY M, BURDONOV, IGOR B, PETRENKO, ALEXANDRE K, SAZANOV, JURI L, GALTER, DMITRI, DEMAKOV, ALEXEI V

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

COMPILER AND METHOD FOR COMPILING SPECIFICATION LANGUAGE INTO IMPLEMENTATION LANGUAGE von KOSSATCHEV, ALEXANDRE S, MAXIMOV, ANDREI V, SUMAR, HARRY M, BURDONOV, IGOR B, PETRENKO, ALEXANDRE K, SAZANOV, JURI L, GALTER, DMITRI, DEMAKOV, ALEXEI V

Deriving Synchronizing and Homing Sequences for Input/Output Automata von Kushik, N. G., Yevtushenko, N. V., Burdonov, I. B., Kossatchev, A. S.

Using ASM Specifications for Compiler Testing von Kalinov, Alexey, Kossatchev, Alexandre, Petrenko, Alexander, Posypkin, Mikhail, Shishko, Vladimir

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.

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.

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

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

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle