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

Ada programming language. For memory safe multi task programming, elegant embedded bit fiddling and everything else in a readable way

  • 0 users online
  • 0 users / day
  • 0 users / week
  • 0 users / month
  • 1 user / 6 months
  • 0 subscribers
  • 20 Posts
  • 0 Comments
  • Modlog