TY  - JOUR
TI  - Моделирование и автоматическая проверка по AsmL
T2  - Бизнес-информатика
IS  - Бизнес-информатика
AB  - Целью данной статьи является описание подхода связанного с использованием формализма Абстрактных Машин Состояний (ASM) и среды SpecExplorer, разработанной в Microsoft Research.
AU  - О. Р. Набиуллин
AU  - Э. А. Бабкин
UR  - https://bijournal.hse.ru/2008--4/26655961.html
PY  - 2008
SP  - 56-63
VL  -