Скачать
KLEE-Assisted Code Robustness Evaluation against Fault Injections
Автор: KLEE
Загружено: 2021-07-01
Просмотров: 141
Описание: Etienne Boespflug from Université Grenoble Alpes at the 2nd International KLEE Workshop on Symbolic Execution
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке: