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

ELECTIVE

Time Allocation details not available for this course

Marks Allocation details not available for this course

Last Update: 08/02/2023 | Edit this page