TMPA-2014: Parametrized Model Checking of Fault tolerant Distributed Algorithms Part 1

  Канал на RUTUBE: Готовим с любовью | Тема: Обучение |    06.12.2023 | Смотрят: 10

Tools Methods of Program Analysis TMPA-2014: Igor Konnov Vienna University of Technology

Источник: rutube.ru

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

Сообщение от Commenton: Необходимо стартовать сессию