|
Jun 17, 2024
|
|
|
|
CAS *703 / Software Design3 unit(s)
Staff
Formal specification methods. Requirements specifications. Fail-safe systems. Verification of safety critical applications. Systematic testing. Specification and design of concurrent, multiprocess and distributed systems.
Add to Favourites (opens a new window)
|
|