Jun 17, 2024  
School of Graduate Studies Calendar, 2013-2014 
    
School of Graduate Studies Calendar, 2013-2014 [-ARCHIVED CALENDAR-]

Add to Favourites (opens a new window)

CAS *707 / Formal Specification Techniques

3 unit(s)

Staff

Pre/Postconditions, refinement, state-based approaches, event based approaches, algebraic specifications, Petri nets, temporal logic, properties of programs, and specification, verification, and validation.



Add to Favourites (opens a new window)