Massachusetts Institute of Technology
Sign in | Create Account

Videos tagged with sakallah (1)


Lecture 11 - Formal Verification of Control Logic in the Reveal System (Karem Sakallah)

Lecture 11 - Formal Verification of...

HawaiiJohnCollection

Added 3 years ago | 00:52:17 | 5878 views