ПросмотрФакультет систем управління літальних апаратів (№ 3) по теме "Event-B"
Отображаемые элементы 1-1 из 1
-
Применение Event-B для создания систем на программируемой логике
(ХАІ, 2009)Приведены особенности создания формальной спецификации систем на программируемой логике. Рассмотрены примеры описания таких систем в Event-B. Предложены элементы методики формального описания и трансляции полученной ...