Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Структурированные системы переходов
Глава 3. Темпоральные свойства систем переходов
Для продолжения работы требуется
Registration
Предыдущая страница
Следующая страница
Table of contents
Предисловие
Введение
Глава 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. Дерево разрешимости темпоральных логик
Заключение
Список литературы
Предметный указатель
Список обозначений
Данный блок поддерживает скрол*