Алгебраїчне моделювання та його застосування
Published in Visnik Nacional noi academii nauk Ukrai ni • Mar 20, 2021
NobleIDNI4P21W18R23S40
Authors:
Oleksandr Letychevskyi
Abstract
Статтю присвячено науковим розробкам Інституту кібернетики ім. В.М. Глушкова НАН України, пов’язаним із застосуванням технологій алгебраїчного та інсерційного моделювання на основі алгебри поведінок. Розглянуто технології формалізації, алгебраїчної верифікації та тестування програмних і апаратних сп...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!