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/