SPECIFICATION FORMALIZATION OF STATE CHARTS FOR COMPLEX SYSTEM MANAGEMENT

Source: Вісник Національного технічного університету «ХПІ». Серія: Системний аналiз, управління та iнформацiйнi технологiї; № 1 (9) (2023); 104-109
Вестник Национального технического университета "ХПИ". Серия: Системный анализ, управление и информационные технологии; № 1 (9) (2023); 104-109
Bulletin of National Technical University "KhPI". Series: System Analysis, Control and Information Technologies; No. 1 (9) (2023); 104-109

Subject Terms: верифікація та валідація, formal methods, requirements formalization, формалізація вимог, spacecraft control, verification and validation, state machines, автоматизоване програмування, доведення теорем, object-oriented programming, code generation, управління космічним кораблем, model checking, формальні методи, theorem proving, кінцеві автомати, automated programming, перевірка моделі, генерація коду, об'єктно–орієнтоване програмування

File Description: application/pdf

Access URL: http://samit.khpi.edu.ua/article/view/284730