Литвинов В. В. Применение интервальной логики реального времени для моделирования систем управления потенциальноопасными объектами / В. В. Литвинов, В. В. Казимир, В. В. Дяченко // Мат. машини і системи. - 2002. - № 2. - С. 112-121. - Библиогр.: 6 назв. - рус.
Висвітлено досвід використання інтервальної логіки реального часу Duration Calculus для моделювання критичних з точки зору надійності програмних систем керування. Послідовно розглянуто етапи трансформації опису: від специфікації вимог щодо безпеки в напрямку їх реалізації в межах розподіленої архітектури.
Шифр НБУВ: Ж15664Пошук видання у каталогах НБУВДодаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"