EECS Publication

Simulink Model Generation from an Enumeration Hybrid Automaton

Thomas Swain

Published 2012-05-31 04:00:00 as ut-cs-12-694 (ID:6)