NPTEL Video Course : NOC:Embedded Systems Design

Lecture 49 - Formal Verification