Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта (Александр Козачок, ISPRASOPEN-2018) — различия между версиями

{{LinksSection}}
<!-- * [ Talks page on site] -->
<!-- <blockquote>[©]</blockquote> -->

{{vklink|1344}}                                          
<references/>





<!-- topub -->

[[Категория:ISPRASOPEN-2018]]
[[Категория:Верификация]]
{{stats|disqus_comments=0|refresh_time=2019-089-19T19:24:3905T20:16:43.7700140505|vimeo_plays=113|youtube_comments=0|youtube_plays=68}}