CIS 640-001: Advance Topics in Software Systems
Software Reliability Methods and Embedded Systems

Section 001, TTh 4.:30-6pm


Home | Schedule | Reference | Lectures | Topics | Projects

Projects

Projects Presenters
Realtime Java Test Suites Aaron, Dave, Enrico
Dining Philosophers in SMV Jason, Evren
Smart Space and Oxygen Usa
Stream Boiler in CHARON Wonhong
PPACSR Kyriakos
Coffee Machine in CHARON Wenkai
Readers Writers Problem in Prism Mikhail





Last update: Dec 17, 2002 EST 2:15pm