EECS Publication

Safe Controller - An Application of Sequence-Based Specification

Lan Lin, Jesse H. Poore, Stacy J. Prowell

Published 2005-06-01 04:00:00 as ut-cs-05-555 (ID:157)