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

;{{SpeakerInfo}}: {{Speaker|Александр Козачок}}
<blockquote>
</blockquote>

{{VideoSection}}
{{vimeoembed|298788505|800|450}}
{{youtubelink|hebJLY3dZzI}}
{{letscomment}}

{{SlidesSection}}
[[File:Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта (Александр Козачок, ISPRASOPEN-2018).pdf|left|page=-|300px]]

{{----}}
[[File:{{#setmainimage:Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта (Александр Козачок, ISPRASOPEN-2018)!.jpg}}|center|640px]]
{{LinksSection}}
<!-- * [ Talks page on site] -->
<!-- <blockquote>[©]</blockquote> -->

{{vklink|1344}}                                          
<references/>





<!-- topub -->

[[Категория:ISPRASOPEN-2018]]
[[Категория:Верификация]]
{{stats|disqus_comments=0|refresh_time=2020-07-06T21:37:28.849753|vimeo_plays=17|youtube_comments=0|youtube_plays=92}}