Open AccessAutomatic Verification of Control Algorithms for Complex Technological Objects on Software Simulators
Author(s) -
Tatiana Liakh,
Vladimir Zyubin,
Natalia Garanina
Publication year - 2018
Publication title -
vestnik novosibirskogo gosudarstvennogo universiteta. seriâ: informacionnye tehnologii/vestnik novosibirskogo gosudarstvennogo universiteta. seriâ: informacionnye tehnologii v obrazovanii
Language(s) - English
Resource type - Journals
eISSN - 2410-0420
pISSN - 1818-7900
DOI - 10.25205/1818-7900-2018-16-4-85-94
Subject(s) - computer science , software , control software , algorithm , software verification , software engineering , programming language , software development , software construction