The University of Warwick Library - WebBridge

Utilization of simulink verification and validation (V&V) and simulink design verifier (SDV) for HVAC controls software
Chakrapani Rao, Arun.  MATLAB Virtual Conference 2013 - European Track.    2013-02-20. .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.