Verfahren zur Kontrollflussüberwachung in sicherheitsgerichteten Rechensystemen185 stránok7 hodin čítaniaPostrážiť