Вклад участника

Материал из eSyr's wiki.

Вклад Treller (Обсуждение | Журнал блокировок | Журналы)

Перейти к: навигация, поиск

Поиск вклада Показать только вклад, сделанный с новых учётных записей
IP-адрес или имя участника: Пространство имён:

За месяц (и ранее): За год (и ранее):

(Новейшие | Старейшие) Просмотреть (Более новые 20) (Более старые 20) (20 | 50 | 100 | 250 | 500)

12:16, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Методы голосования по конъюнкциям. Алгоритмы типа "Кора".)
12:16, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Методы голосования по конъюнкциям. Алгоритмы типа "Кора".)
12:14, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Методы голосования по конъюнкциям. Алгоритмы типа "Кора".)
11:18, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Проблемы формирования логических признаков. Оценки качества признаков и их совокупностей.)
11:07, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Проблемы формирования логических признаков. Оценки качества признаков и их совокупностей.)
11:05, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Проблемы формирования логических признаков. Оценки качества признаков и их совокупностей.)
10:05, 26 мая 2009 (история) (разн.) МОТП, Билеты (2009)‎ (→Проблемы формирования логических признаков. Оценки качества признаков и их совокупностей.)
13:32, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Язык Promela. Механизмы взаимодействия процессов в языке Promela. Глобальные переменные, каналы сообщений, явная синхронизация.)
13:09, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Язык Promela. Основные компоненты модели на языке Promela. Процессы, локальные и глобальные объекты данных, каналы сообщений.)
12:54, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (/* Система Spin. Процесс моделирования и верификации при помощи системы Spin. Конечность моделей на Promela. Асинхронное выполнение моделей. Нед)
12:35, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (/* Верификация при помощи Spin. Принцип верификации нарушения свойств. Контрпримеры. Процесс верификации при помощи Spin. Использование LTL в S)
12:16, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Верификация при помощи Spin. Задание свойств последовательностей состояний. Утверждения о невозможности. Трассовые ассерты.)
12:15, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Верификация при помощи Spin. Задание свойств последовательностей состояний. Утверждения о невозможности. Трассовые ассерты.)
11:59, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Верификация при помощи Spin. Задание свойств последовательностей состояний. Циклы бездействия. Ограничения справедливости.)
10:54, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Абстракция. Абстракция графов программ. Отношение слабой симуляции.)
10:12, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств.)
10:10, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Свойства правильности. Формулирование требований правильности программы. Двойственность. Типы свойств.)
08:54, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
08:48, 21 мая 2009 (история) (разн.) м ВПнМ/Теормин‎ (→Моделирование программ. Графы программ. Статическая и операционная семантика.)
08:33, 21 мая 2009 (история) (разн.) ВПнМ/Теормин‎ (→Вычисления)