Media type: E-Book; Thesis Title: Pfadbedingungen in Abhängigkeitsgraphen und ihre Anwendung in der Softwaresicherheitstechnik Contributor: Robschink, Torsten [Verfasser] Extent: Online-Ressource Language: German Identifier: Keywords: Programmanalyse > Sicherheitsanalyse > Program Slicing > Abhängigkeitsgraph > Intervallanalyse > Binäres Entscheidungsdiagramm Origination: University thesis: Passau, Univ., Diss., 2005 Footnote: Erscheinungsjahr an der Haupttitelstelle: 2004 Access State: Open Access