Пошук академічних текстів

Інформація × Реєстраційний номер 0301U000646, 0100U000809 , Науково-дослідна робота Назва роботи Методи програмної інженерії для систем керування об"єктами з потенційно небезпечними режимами роботи Назва етапу роботи Огляд інтервальних темпоральних логік (ІТЛ), логік опису небезпечних ситуацій та класів небезпеки.розширення ІТЛ описами класів небезпечності Керівник роботи Литвинов В.В., Дата реєстрації 18-04-2001 Організація виконавець Інститут проблем математичних машин і систем Опис етапу Мета цієї роботи - розробка прототипів: мови опису специфікації алгоритмів роботи системи керування з потенційно небезпечними режимами функціонування, мови опису небезпечних ситуацій класів небезпеки в термінах інтервальної темпоральної логіки і програми трансформації в імітаційну модель Опис продукції Автори роботи Додано в НРАТ 2020-04-02 Закрити