Verfahren zur Kontrollflussüberwachung in sicherheitsgerichteten Rechensystemen185 páginas7 horas de lecturaNotifícame