|
|
|
Feb 08, 2025
|
|
2014-2015 Graduate Course Catalog [ARCHIVED CATALOG]
|
CIS 632 - Modeling Concurrent Systems3 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
|
|
|