Felkerült a második részhez tartozó anyagok

Formális módszerek és a repülőgépipari SW fejlesztést szabályozó DO-178B/C-t bemutató előadás.