| 
Поиск по ключевому слову "преобразование моделей"
Метод построения абстрактных моделей, используемых для верификации протоколов когерентности кэш-памяти масштабируемых систем
| Авторы: Буренков В.С., Иванов С.Р. | Опубликовано: 14.02.2017 |
| Опубликовано в выпуске: #1(112)/2017 | |
| DOI: 10.18698/0236-3933-2017-1-49-66 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Теоретическая информатика, кибернетика | |
| Ключевые слова: формальный метод, проверка моделей, преобразование моделей, протокол когерентности кэш-памяти | |