Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Структурированные системы переходов
Глава 3. Темпоральные свойства систем переходов
Предыдущая страница
Следующая страница
Оглавление
Предисловие
Введение
Глава 1. Вполне структурированные системы помеченных переходов
+
Глава 2. Счетчиковые машины
+
Глава 3. Темпоральные свойства систем переходов
-
3.1. Метод проверки модели
3.1.1. Логики ветвящегося времени
3.1.2. Логики линейного времени
3.1.3. Сравнение логик
3.2. Темпоральные свойства систем переходов
3.2.1. Cистемы переходов автоматного типа
3.2.2. Системы переходов с сильной и транзитивной совместимостью
3.2.3. Дерево разрешимости темпоральных логик
Заключение
Список литературы
Предметный указатель
Список обозначений
Данный блок поддерживает скрол*