00380nam a2200121Ia 4500008004100000100001900041245005900060245003100119260000900150300003100159440004500190650002300235171207s9999    xx            000 0 und d  aYoon, Sanghyun  aFormal verification of ECML hybrid models with spaceex  cSanghyun Yoon, Junbeom Yoo  c2017  apages 121-144, August 2017  aInformation and Software Technologyv92:  aSOFTWARE TECHNLOGY