Ada i SPARK
Powitanie
Ada 2012
SPARK 2014
Mikrokontrolery
Mindstorms
Strona domowa
Niezawodne programowanie
Ada leci na Marsa
23/07/16 15:01
fot. adacore.com
Krytyczny system wbudowany dla programu
ExoMars
został napisany i zweryfikowany w języku
Ada
:
http://www.adacore.com/press/ada-on-board-gnat-pro-helps-exomars-get-to-the-red-planet