/cocomodel

simulink model for small drone, maybe using fret, cocosim, ikos and frama-c to build a controller

Watchers