- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Ulm, Univ., Diss., 2007
- Keyword
-
Programmcode
- Creator
- URN
-
urn:nbn:de:bsz:289-vts-60825
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:56 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
Other Objects (12)
Static Source Code Analysis using OCL
Static Code Analysis for All Languages - coala!
Coala Framework: Discover Static Code Analysis in Python
Static byte-code analysis for state space reduction
Understanding and assessing security on Android via static code analysis
Secure infrastructure for exchanging rules in static code analysis tools
Static probabilistic timing analysis for multi-path programs
Improving mobile-malware investigations with static and dynamic code analysis techniques
Improving Mobile-Malware Investigations with Static and Dynamic Code Analysis Techniques
Protocols - Static duck typing for decoupled code
Verification of programmable logic controller code using model checking and static analysis
Verification of programmable logic controller code using model checking and static analysis
Static Source Code Analysis using OCL
Static Code Analysis for All Languages - coala!
Coala Framework: Discover Static Code Analysis in Python
Static byte-code analysis for state space reduction
Understanding and assessing security on Android via static code analysis
Secure infrastructure for exchanging rules in static code analysis tools
Static probabilistic timing analysis for multi-path programs
Improving mobile-malware investigations with static and dynamic code analysis techniques
Improving Mobile-Malware Investigations with Static and Dynamic Code Analysis Techniques
Protocols - Static duck typing for decoupled code
Verification of programmable logic controller code using model checking and static analysis
Verification of programmable logic controller code using model checking and static analysis
Static Source Code Analysis using OCL
Static Code Analysis for All Languages - coala!
Coala Framework: Discover Static Code Analysis in Python
Static byte-code analysis for state space reduction
Understanding and assessing security on Android via static code analysis
Secure infrastructure for exchanging rules in static code analysis tools
Static probabilistic timing analysis for multi-path programs
Improving mobile-malware investigations with static and dynamic code analysis techniques
Improving Mobile-Malware Investigations with Static and Dynamic Code Analysis Techniques
Protocols - Static duck typing for decoupled code
Verification of programmable logic controller code using model checking and static analysis