koric00

Research Student

Pinned Repositories

ardupilot
ArduPlane, ArduCopter, ArduRover, ArduSub source
Language:C++00
Firmware
PX4 Autopilot Software
Language:C++00
UAV-bug-set-and-taxonomy
This data set contains 569 real world bugs, 168 UAV-specific bugs and their taxonomy.
00
groupmeeting
Software Analysis and Verification Group
1216

koric00's Repositories

koric00/ardupilot
ArduPlane, ArduCopter, ArduRover, ArduSub source
koric00/UAV-bug-set-and-taxonomy
This data set contains 569 real world bugs, 168 UAV-specific bugs and their taxonomy.
koric00/Firmware
PX4 Autopilot Software
Language:C++