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: 03/02/2024 | Edit this page