Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction

Автор: SRDS 2021

Загружено: 2021-09-11

Просмотров: 60

Описание: Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction
Hadi Moloodi, Fathiyeh Faghih, Borzoo Bonakdarpour
The 40th International Symposium on Reliable Distributed Systems
SRDS 2021

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...

Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction

Доступные форматы для скачивания:

Скачать видео

Информация по загрузке:

Скачать аудио

Похожие видео