|
|
|
Dec 12, 2024
|
|
2016-2017 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
|
|
|