All Courses
About this Course
Offered by University of Colorado Boulder. Formal Verification for Reliable Computing Systems. Learn to model, verify, and ensure system ... Enroll for free.
Instructors
C
Chris Myers
Electrical, Computer & Energy Engineering
H
Hao Zheng
إعلان
إعلان