Результати пошуку - "519.686.2" :: Harvester open publications of NAS Ukraine

Вибрати результат під номером 1
1

A method for guided search and test scenarios generation in verification of formal models of asynchronous systems за авторством Kolchin, A.V.

Опубліковано в PROBLEMS IN PROGRAMMING (2026)

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

Стаття

standalone_record_link
Додати у Вибране

Збережено в:
Вибрати результат під номером 2
2

Test scenarios generation based on formal model за авторством Letichevsky, A.A., Kolchin, A.V.

Опубліковано в PROBLEMS IN PROGRAMMING (2026)

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

Стаття

standalone_record_link
Додати у Вибране

Збережено в:
Вибрати результат під номером 3
3

Automatic Dynamic Semiautomatic Parallelizing for Heterogeneous Multicomputer Systems за авторством Levchenko, R.I., Sudakov, A.A., Pogorilyy, S.D., Boiko, Y.V.

Опубліковано в PROBLEMS IN PROGRAMMING (2026)

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

Стаття

standalone_record_link
Додати у Вибране

Збережено в: