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 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