Analysis and simulation of existing hardware using Discrete Event System Specification.
Abstract ...
Presentation ...
Report ...
Photographs from Subject System ...
Original Proposal ...