#HWIDI 2023-Joseph Sifakis

preview_player
Показать описание
  1. Huawei IT Products & Solutions
Рекомендации по теме
#HWIDI 2023-Joseph Sifakis 0:19:20

#HWIDI 2023-Joseph Sifakis

Joseph Sifakis: Elon 0:01:14

Joseph Sifakis: Elon Musk keeps saying nonsense

Joseph Sifakis at 0:51:07

Joseph Sifakis at GYSS 2021 - Why is it so hard to make self driving cars?

Sifakis on his 0:04:06

Sifakis on his first model checking work