|
|
|
Jan 18, 2025
|
|
2017-2018 Graduate Course Catalog [ARCHIVED CATALOG]
|
CIS 632 - Modeling Concurrent SystemsCollege of Engineering and Computer Science
3 credit(s) Upon sufficient interest
Formal methods for specifying, modeling, and analyzing concurrent systems, and mathematical basis for such methods. Automated and semi-automated tools to apply these methods to analyze emergent behavior of computing related applications.
PREREQ: CIS 607 /CSE 607
|
|
|