|
Труды СПИИРАН, 2002, выпуск 1, том 2, страницы 212–222
(Mi trspy106)
|
|
|
|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
Ситуационные спецификации имитационных моделей гибридных реактивных систем
В.М. Шпаков
Аннотация:
Приводится описание формализма спецификации имитационных моделей гибридных реактивных систем, основанного на модификации и объединении известных формализмов машины конечных состояний и гибридного автомата. Формализм ориентирован на создание исполняемых спецификаций систем, пригодных для итерационного процесса их разработки и отладки. Обсуждаются выразительность и эффективность формализма и приводятся результаты его экспериментального исследования.
Образец цитирования:
В.М. Шпаков, “Ситуационные спецификации имитационных моделей гибридных реактивных систем”, Тр. СПИИРАН, 1:2 (2002), 212–222
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/trspy106 https://www.mathnet.ru/rus/trspy/v1/i2/p212
|
|