|
Sep 29, 2024
|
|
|
|
CAS 703 / Software Design 3 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)
|
|