MSc Theses
- A Testing
Framework for Real-Time Specifications by Chun Dai, January
2009.
- Commmmunicating
Visibly pushdown Processes by Md. Tawhid Bin Waez, December
2008.
- Model Checking
is Refining—Computational Temporal Logic is Equivalent to
Failure Trace Testing by Zhyiu Zhang, December 2008.
- The
Relationship Between Several Parallel Computational Models by
Yuanqiao Zhang, December 2008.
|
