|
-
Ключові слова:
технічні системи/технические системы/technical systems
-
Анотація:
Решается задача верификации электромеханического устройства с переменным числом контектов с помощью модальной логики LTL (Linear Temporal Logic). В ходе анализа доказываются теоремы о непрерывности и однозначности работы устройства.
-
Є складовою частиною документа:
-
Теми документа
-
УДК // Електромеханічні підсилювачі
-
УДК // Науковий пошук, дослідження
-
УДК // Патенти. Авторські свідоцтва: видача, контроль, засвідчення печаткою/Патенты. Авторские свидетельства: выдача, контроль, засвидетельствование печатью/Patents. Copyright certificates
|
