3 Модели и методы для обоснования выбора состава аппаратных средств ВС

3.1 Интегрированная среда автоматизированного синтеза конечных автоматов

3.2 Интеллектуальный буфер диспетчера задач вычислительной системы

3.3 Методика анализа UML диаграмм для получения ресурсных характеристик системы

3.4 Анализатор некорректного поведения минимизированных конечно-автоматных моделей

Экспресс информация

Редколлегия журнала

Подписка на новости

Гостевая книга

Предоставление материалов

Письмо в редакцию

На начало