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

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

Survey on modern tools and methods of formal models verification за авторством Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.

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

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

Стаття

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

Збережено в: