Ada/SPARK drone SW (In Russian)

habr.com Как мы верифицированный полетный контроллер для квадрокоптера написали. На Ada

Однажды на новогодних каникулах, лениво листая интернет, бракоделы в нашем* R&D офисе заметили видео с испытаний прототипа роботакси. Комментатор отзывался восторженным тоном – революция,...

0 comments