Verification of a Model of the Isolated Program Environment of Subjects Using the Lamport’s Temporal Logic of Actions

Скачать файл .PDF

Авторы: Каннер А. М.; Каннер(Борисова) Т. М.

Дата публикации: 25.12.2020

Библиографическая ссылка: Kanner A. M., Kanner Т. M. Verification of a Model of the Isolated Program Environment of Subjects Using the Lamport’s Temporal Logic of Actions // 2020 International Conference on Engineering and Telecommunication (En&T 2020). — 2020. — Pp. 1–5

---