Formális
Módszerek
Szimuláció
⚠ KRITIKUS RENDSZER
// projekt: pacemaker_fw v3.1 — szívritmus-szabályozó szoftver
// Bizonyítási státusz
← Vissza
1 / 12
Következő →