| RUS ENG |
| Полная версия |
|
|
|
| ЖУРНАЛЫ // Моделирование и анализ информационных систем // Архив |
|
2008, том 15, номер 3
|
|
Применение ослабленных отношений симуляции в методе сетевых инвариантов для верификации параметризованных асинхронных моделей И. В. Коннов |
3 | |
|
|
Проблема ограниченности для счетчиковых машин с потерями Е. В. Кузьмин |
14 | |
|
|
Неравенства для норм интерполяционных проекторов М. В. Невский |
28 | |
|
|
Об одном классе высокоуровневых конечных автоматов Р. А. Виноградов, В. А. Соколов |
38 | |
|
|
Разработка корректных Java Card-программ на основе автоматного подхода А. А. Клебанов, А. А. Шалыто |
47 | |