Моделі та засоби автоматизації систем організаційного управління енергоринком: монографія
З Борукаєв, І Блінов… - Publishing house …, 2024 - publishing.logos-science.com
Монографію присвячено дослідженням розвитку спеціалізованих засобів
математичного і комп'ютерного моделювання, інформаційно-технологічного …
математичного і комп'ютерного моделювання, інформаційно-технологічного …
Структура та моделі інформаційної взаємодії учасників ринку електричної енергії: монографія
Виконано огляд архітектури, структури та функцій автоматизованих систем підтримки
ринку електричної енергії України. Зокрема розглянуто склад та функції систем …
ринку електричної енергії України. Зокрема розглянуто склад та функції систем …
Стратифікована модель подання нефункціональних характеристик системи критичного призначення при проєктуванні.
ВВ Шкарупило, ВВ Душеба… - Èlektronnoe …, 2022 - search.ebscohost.com
Проєктування—це етап процесу розроблення, який подається у наступній
послідовності: аналіз вимог до розроблюваної системи, проєктування, реалізація і …
послідовності: аналіз вимог до розроблюваної системи, проєктування, реалізація і …
On Hoare triples applicability to dependable system specification synthesis
V Shkarupylo, A Chemeris, V Dusheba… - 2020 IEEE 11th …, 2020 - ieeexplore.ieee.org
Modern level of dependable systems engineering process organization is tightly interwoven
with formal methods application. Those are typically the model checkers, bringing in the …
with formal methods application. Those are typically the model checkers, bringing in the …
Сценарії, методи та засоби формальної верифікації артефактів процесу проєктування систем критичного призначення: монографія
В Шкарупило, І Блінов - … house «UKRLOGOS Group …, 2024 - publishing.logos-science.com
Проведено порівняльний аналіз методів та засобів формальної верифікації,
застосовуваних у процесі розроблення систем критичного призначення, зокрема–на …
застосовуваних у процесі розроблення систем критичного призначення, зокрема–на …