ECSEE6863-001: Formal Verif HW SW Systems for Fall 2023

Days and Time

Wednesdays 6:10 PM-8:00 PM

Location

451 CSB

Allowed For:

  • Undergraduate
  • Masters
  • Professional
  • PhD

Prerequisites:

None

Notes:

None

Instructor:

Ivancic, Franjo

Description