+7 (499) 754-99-94
Журналов:     Статей:        
Главная Поиск
Дополнительные фильтры
Всего найдено3 437
Удалить
Добавить фильтр
20.12.2010
Безопасное тестирование симуляции систем с отказами и разрушением
И. Б. Бурдонов; А. С. Косачев
Моделирование и анализ информационных систем
20.12.2010
О сложности верификации недетерминированных вероятностных мультиагентных систем
М. К. Валиев; М. И. Дехтярь
Моделирование и анализ информационных систем
20.12.2010
Проверка моделей распределенных систем с помощью аффинного представления данных
Н. О. Гаранина
Моделирование и анализ информационных систем
20.12.2010
Об исчислении позитивно-образованных формул для автоматического доказательства теорем
А. В. Давыдов; А. А. Ларионов; Е. А. Черкашин
Моделирование и анализ информационных систем
20.12.2010
Интеграция семантических верификаторов в компиляторы языка Java
А. В. Клепинин; А. А. Мелентьев
Моделирование и анализ информационных систем
20.12.2010
Адаптивная редукция симметричных моделей в задаче верификации моделей программ для логики линейного времени
И. В. Коннов; В. А. Захаров
Моделирование и анализ информационных систем
20.12.2010
Верификация C-программ в мультиязыковой системе СПЕКТР
В. А. Непомнящий; И. С. Ануреев; М. М. Атучин; И. В. Марьясов; А. А. Петров; А. В. Промский
Моделирование и анализ информационных систем
20.12.2010
Верификация и синтез программ сложения на базе правил корректности операторов
В. И. Шелехов
Моделирование и анализ информационных систем
20.12.2010
Пример верификации в проекте F@BOOL@, основанном на булевских решателях
Н. В. Шилов
Моделирование и анализ информационных систем
20.12.2010
Проектирование программных бортовых систем управления с поддержкой верификации
И. В. Шошмина
Моделирование и анализ информационных систем

115114, Москва, ул. Летниковская, д. 4, стр. 5,
офис 2.4, тел.\факс: +7 (499) 754-99-93

Политика обработки персональных данных

© 2013 - 2025 Elpub