NPTEL Video Course : NOC:Model Checking


Lecture 8 - Module 2 - Simple models in NuSMV


            


DIGIMAT Digital Learning Platform