ECOMS6998-5: Formal Verification/hw/sw for Fall 2013

Days and Time

Thursdays 6:10 PM-8:00 PM

Location

717 HAM

Allowed For:

  • Masters
  • Professional
  • PhD

Prerequisites:

Instructor's permission.

Notes:

None

Instructor:

Theobald, Michael

Description

Selected topics in computer science. Content varies from year to year. May be repeated for credit.