News
02 August, 2019
OS DAY-2019. Cooperation among operating platform developers and the security of Russian software
10 April, 2019
Ivannikov Memorial Workshop has been supported by IEEE
Обобщённые семантики тестового взаимодействия.
Abstract
В данной работе мы обобщаем семантику взаимодействия, допуская наблюдение отказов, не обязательно совпадающих с множеством разрешаемых действий (и даже не обязательно вложенных в него). Рассмотрение состоит из двух частей: сначала рассматриваются модели без приоритетов, а потом вводятся приоритеты.
Edition
Proceedings of the Institute for System Programming, vol. 15 (in Russian), 2008, Стр. 69-105.
ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).