Universität der Bundeswehr München: AtheneForschung
Benutzer: Gast
 
Login
de
en
Alle Daten
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
Alle Daten
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
Alle Daten
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
Alle Daten
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
Alle Daten
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
Alle Daten
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
Alle Daten
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
Alle Daten
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
Alle Daten
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
Alle Daten
Autor/Hrsg.
Projekt
Jahr
Fakultät
Institut
Person
Titel
Thema
Weniger Felder
Reset
Suchen
Einfache Suche
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
(21746)
Fakultät für Bauingenieurwesen und Umweltwissenschaften
(3615)
Fakultät für Elektrotechnik und Informationstechnik
(2057)
Fakultät für Humanwissenschaften
(2286)
Fakultät für Informatik
(3290)
Fakultät für Luft- und Raumfahrttechnik
(5305)
Fakultät für Staats- und Sozialwissenschaften
(2658)
Fakultät für Wirtschafts- und Organisationswissenschaften
(2559)
Fakultäten (HAW)
(1719)
Forschungszentren und -initiativen
(2004)
Weitere Einrichtungen
(17)
Projekte
Elektronische Prüfungsarbeiten
Open-Access-Publikationen
Patente
Forschungsdaten
Forschungsprofile
Videos für die UniBw M-Webseite
Digitalisierte Medien
AG E-Learning
Materialien der Universitätsbibliothek
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
Zurück
Zurück zum Anfang der Trefferliste
Dauerhafter Link zum angezeigten Objekt
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Autoren:
Kinder, Johannes; Veith, Helmut
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
Precise Static Analysis of Untrusted Driver Binaries
Titel Sammlung:
Proceedings 10th International Conference Formal Methods in Computer-Aided Design (FMCAD)
Konferenztitel:
International Conference Formal Methods in Computer-Aided Design (10., 2010, Lugano)
Tagungsort:
Lugano, Switzerland
Jahr der Konferenz:
2010
Datum Beginn der Konferenz:
20.10.2010
Datum Ende der Konferenz:
23.10.2010
Verlagsort:
Piscataway
Verlag:
IEEE
Jahr:
2010
Seiten von - bis:
43-50
Sprache:
Englisch
ISBN:
978-0-9835678-0-6 ; 978-1-4577-0734-6
URL zum Inhalt:
https://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5766311
Open Access ja oder nein?:
Ja / Yes
BibTeX
Vorkommen:
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
Fakultät für Informatik
INF 6 - Institut für Systemsicherheit
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Forschungszentren und -initiativen
CODE