Вы здесь

Главная

темпоральный

Связанные издания:

Применение темпоральной логики для спецификации поведения программных систем
Средства представления темпоральной информации в базах знаний
Темпоральная логика действий
Темпоральные базы данных: от теории к практическому использованию
Эффективные алгоритмы проверки выполнимости формул темпоральной логики CTL на модели и их применение для верификации параллельных программ