Новосибирский государственный университет Факультет информационных технологий

А.М.Федотов

(21,22)(21,22)

Определение логики LTL, примеры свойств систем, выразимых с помощью формул LTL.

Определение логики CTL, примеры свойств систем, выразимых с помощью формул CTL.

Федотов Анатолий Михайлович © 1996-2026, Новосибирский государственный университет © 1996-2026, Институт вычислительных технологий СО РАН © 1996-2026, Федотов А.М.