- Sprache
-
Englisch
- Identifier
-
1302224670
- Beteiligte Personen und Organisationen
-
Bhargavan, Karthikeyan
Bichhawat, Abhishek
Hosseyni, Pedram
Küsters, Ralf
Pruiksma, Klaas
Schmitz, Guido
Waldmann, Clara
Würtele, Tim
- DOI
-
10.18419/opus-13472
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.10.2023, 11:33 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Monografie
Beteiligte
- Bhargavan, Karthikeyan
- Bichhawat, Abhishek
- Hosseyni, Pedram
- Küsters, Ralf
- Pruiksma, Klaas
- Schmitz, Guido
- Waldmann, Clara
- Würtele, Tim
Ähnliche Objekte (12)
Symbolic shape analysis
Symbolic Object Code Analysis
Bedeutungs-Analyse (symbolic analysis)
Bedeutungs-Analyse (symbolic analysis)
Symbolic representations in WCET analysis
Symbolic Analysis of Cryptographic Protocols
Symbolic verification of computational security for branching-time properties.
Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization
Java program analysis by symbolic execution
Symbolic analysis : an algebra based approach
Symbolic Liveness Analysis of Real-World Software
Symbolic analysis of high dimensional time series
Symbolic shape analysis
Symbolic Object Code Analysis
Bedeutungs-Analyse (symbolic analysis)
Bedeutungs-Analyse (symbolic analysis)
Symbolic representations in WCET analysis
Symbolic Analysis of Cryptographic Protocols
Symbolic verification of computational security for branching-time properties.
Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization
Java program analysis by symbolic execution
Symbolic analysis : an algebra based approach
Symbolic Liveness Analysis of Real-World Software
Symbolic analysis of high dimensional time series
Symbolic shape analysis
Symbolic Object Code Analysis
Bedeutungs-Analyse (symbolic analysis)
Bedeutungs-Analyse (symbolic analysis)
Symbolic representations in WCET analysis
Symbolic Analysis of Cryptographic Protocols
Symbolic verification of computational security for branching-time properties.
Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization
Java program analysis by symbolic execution
Symbolic analysis : an algebra based approach
Symbolic Liveness Analysis of Real-World Software