МОДЕЛИРОВАНИЕ И АВТОМАТИЧЕСКАЯ ПРОВЕРКА ПО AsmL

Набиуллин О. Р. and Бабкин Э. А.
Additional contact information
Набиуллин О. Р.: Нижегородский филиал ГУ ВШЭ
Бабкин Э. А.: Нижегородский филиал ГУ ВШЭ

Бизнес-информатика, 2008, issue 4, 56-63

Abstract: Целью данной статьи является описание подхода связанного с использованием формализма Абстрактных Машин Состояний (ASM) и среды SpecExplorer, разработанной в Microsoft Research.

Date: 2008
References: Add references at CitEc
Citations:

Downloads: (external link)
http://cyberleninka.ru/article/n/modelirovanie-i-a ... aya-proverka-po-asml

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:scn:025686:2810053

Access Statistics for this article

More articles in Бизнес-информатика from CyberLeninka, Федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет «Высшая школа экономики»
Bibliographic data for series maintained by CyberLeninka ().