NPTEL Video Course : NOC:User-centric Computing for Human-Computer Interaction

Lecture 24 - Formal modeling of user-computer dialogue