model verification در سیستم های Model verification in Hybrid dynamical sys ) Hybrid SUPERVISOR Javad Askari جواد عسگری مارنانی (استاد راهنما) STUDENT Behnam Asadi Khashooei بهنام اسدی خشوئی FACULTY - DEPARTMENT دانشکده مهندسی برق و کامپیوتر DEGREE Bachelor of Science (B.Sc) YEAR 1384 TITLE model verification در سیستم های Model verification in Hybrid dynamical sys ) Hybrid
