Library
From UMDES Group Wiki
Library
Case Studies of Discrete Event Systems
- Deadlock Avoidance in Multithreaded Software
- Manufacturing Cases
- Process Control Cases
- Protocol Cases
- Telephony Cases