Verfahren zur Kontrollflussüberwachung in sicherheitsgerichteten Rechensystemen185bladzijden7 uur lezenVolgen