Treffer
1 - 1
Treffer von
1
für Suche '
'
Weiter zum Inhalt
Toggle navigation
Hilfe
de
en
de
miami
Publikationsserver der Universität Münster
Einfache Suche
Erweiterte Suche
Suchen
Behalte die Filtereinstellungen.
topic_facet:"Formale Methoden"
topic_facet:"abstract-interpretation"
ulb_ResourceType_facet:"Text"
ulb_dateIssuedYear_facet:"7979{{{_:::_}}}2021"
ulb_deweyTerm_facet:"Informatik, Informationswissenschaft, allgemeine Werke"
Scroll
Suche:
Treffer
1 - 1
Treffer von
1
für Suche '
'
, Suchdauer: 0,12s
Sortieren
Relevanz
Nach Datum, absteigend
Nach Datum, aufsteigend
Person/Institution
Titel
Nach miami-Publikationsdatum, absteigend
Nach miami-Publikationsdatum, aufsteigend
Alles auswählen
Auswahl:
1
Dissertation/Habilitation
Security Through Safety - An Approach to Information Flow Control Based on Derivation of Safety Properties from a Characterisation of Insecure Behaviour
Nordhoff, Benedikt
2021
Volltext
Alles auswählen
Auswahl:
Suchwerkzeuge:
RSS-Feed abonnieren
Suche einschränken
Suchfilter entfernen
Filter aufheben
Schlagwörter: Formale Methoden
Filter aufheben
Schlagwörter: abstract-interpretation
Filter aufheben
Medientypen: Text
Filter aufheben
Erscheinungsjahr: 2021
Filter aufheben
Fachgebiete: Informatik, Informationswissenschaft, allgemeine Werke
OpenAccess
Open Access
1
Dokumenttypen
Dissertation/Habilitation
1
Personen
Müller-Olm, Markus
1
Nordhoff, Benedikt
1
FB/Einrichtung
FB 10: Mathematik und Informatik
1
Schlagwörter
Abstrakte Interpretation
1
Formale Methoden
Informationsfluss
1
Informationsflusssicherheit
1
PDG
1
Programmanalyse
1
Verifikation
1
abstract-interpretation
formal methods
1
information flow
1
information flow security
1
pdg
1
program analysis
1
program verification
1
Fachgebiete
Informatik, Informationswissenschaft, allgemeine Werke
Erscheinungsjahr
2021
Medientypen
Text
×
Wird geladen...