Colorado Technical University CS455 Jack Simmonds Instructor: Crispin Jose 5/4/2014.
HSCC 03 MIT LCS Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata Sayan Mitra MIT Hybrid Systems: Computation and Control.
1 American College of Mental Health Administration Santa Fe Summit March 31, 2005 Santa Fe, NM A. Kathryn Power, M.Ed., Director Center for Mental Health.
Putting Lean Business Process Improvement in Context Steve Mackereth.