Test scenarios generation based on formal model von Letichevsky, A.A., Kolchin, A.V.

Volltext

The Non-Deterministic Strategy of Rewriting von Letichevsky, A.A., Letichevskyi, O.A., Peschanenko, V.S.

Volltext

Insertion modeling in distributed system design von Letichevsky, A.A., Kapitonova, J.V., Letichevsky Jr, A.A., Kotlyarov, V.P., Nikitchenko, N.S., Volkov, V.A., Weigert, T.

Volltext

Insertion modeling in distributed system design von Letichevsky, A.A., Kapitonova, J.V., Kotlyarov, V.P., Letichevsky Jr., A.A., Nikitchenko, N.S., Volkov, V.A., Weigert, T.

Volltext