CO553 Formal Verification Tools and Techniques for Complex Reactive Systems

Course Code

CO553

Course Title

Formal Verification Tools and Techniques for Complex Reactive Systems

Credits

3

Course Type

TE

Course Modules:

Time Allocation details not available for this course

Marks allocation:

Marks Allocation details not available for this course

Last Update: | Edit this page