OberonCore https://forum.oberoncore.ru/ |
|
Спецификация модели управления доступом на языке TLА https://forum.oberoncore.ru/viewtopic.php?f=82&t=6385 |
Страница 1 из 1 |
Автор: | Валерий Лаптев [ Пятница, 19 Апрель, 2019 06:51 ] |
Заголовок сообщения: | Спецификация модели управления доступом на языке TLА |
https://www.youtube.com/watch?v=hebJLY3dZzI TLА - это темпоральная логика действий (Лэмпарда). |
Страница 1 из 1 | Часовой пояс: UTC + 3 часа |
Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |