Traversal of arbitrary sequences of UCM symbolic transitions for test generation за авторством A. A. Guba

Отримати повний текст

A method for business logic extraction from legacy COBOL code of industrial systems за авторством A. A. Guba, A. V. Kolchin, S. V. Potienko

Отримати повний текст

Deductive verification of requirements for event-driven architecture за авторством A. Letichevsky, O. Letychevskyi, V. Peschanenko, A. Guba

Отримати повний текст