Verfahren zur Kontrollflussüberwachung in sicherheitsgerichteten Rechensystemen185pagine7 ore di letturaAvvisami