РУАЭСТ (RUAEST)
Облако ключевых слов*
* - вычисляется автоматически
Недавно смотрели:
-
Карта обобщенных целей и задач при изучении математики
-
ЭКЗАМЕН В ПОДРОБНОСТЯХ
-
Продуктивность яровых зерновых культур в условиях воздействия абиотических стрессовых факторов при обработке семян селеном, кремнием и цинком
-
ХИМИЧЕСКИЙ СОСТАВ ВОДОТОКОВ В КОРЕННОМ ЕЛОВОМ И ПРОИЗВОДНОМ ЛИСТВЕННО-ХВОЙНОМ ЛЕСАХ
-
ВЕРИФИКАЦИЯ ПРИЛОЖЕНИЙ IEC 61499 НА ОСНОВЕ МЕТОДА Model Checking
ВЕРИФИКАЦИЯ ПРИЛОЖЕНИЙ IEC 61499 НА ОСНОВЕ МЕТОДА Model Checking
Предлагается подход к верификации управляющих приложений международного стандарта IEC 61499 на основе метода Model Checking В рамках данного подхода предлагается формальная модель переходов состояний системы в виде правил изменения функций. Рассматривается демонстрационный пример.
Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
АНАЛИЗ БАЗЫ ДАННЫХ С ПРИМЕНЕНИЕМ АЛГЕБРЫ КОРТЕЖЕЙ,
МЕТОДИКА ОПРЕДЕЛЕНИЯ ПЛОТНОСТИ ВЕРОЯТНОСТИ РАЗМАХА ШУМА ОПЕРАЦИОННЫХ УСИЛИТЕЛЕЙ,
...
Резюме по документу**
** - вычисляется автоматически, возможны погрешности
Похожие документы: