ECOMS6998-7: Formal Verification/hw/sw for Fall 2014

Days and Time

Tuesdays 6:10 PM-8:00 PM

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.