О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматовстатья

Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК
Дата последнего поиска статьи во внешних источниках: 16 января 2019 г.

Работа с статьей


[1] Глонина А. Б., Балашов В. В. О корректности моделирования модульных вычислительных систем реального времени с помощью сетей временных автоматов // Моделирование и анализ информационных систем. — 2018. — Т. 25, № 2. — С. 174–192. [ DOI ]

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть