A verification system for interval-based specification languages with its application to simulink - CHEN CHUNQING (2010)
Ph.D