Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata
https://www.powershow.com/view1/215088-ZDc1Z/Safety_Verification_of_Model_Helicopter_Controller_Using_Hybrid_Input_Output_Automata_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
