Treffer
1 - 3
Treffer von
3
für Suche '
"FB 10: Mathematik und Informatik"
'
Weiter zum Inhalt
Toggle navigation
Hilfe
de
en
de
miami
Publikationsserver der Universität Münster
Einfache Suche
Erweiterte Suche
Suchen
Behalte die Filtereinstellungen.
ulb_DocumentType_facet:"Dissertation/Habilitation"
ulb_person_facet:"Müller-Olm, Markus"
Scroll
Suche: "FB 10: Mathematik und Informatik"
Treffer
1 - 3
Treffer von
3
für Suche '
"FB 10: Mathematik und Informatik"
'
, 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
Lock sensitive analysis of parallel programs
Lammich, Peter
2011
“
...
FB
10
:
Mathematik
und
Informatik
...
”
Volltext
2
Dissertation/Habilitation
Lock-sensitive reachability analysis for parallel recursive programs with dynamic creation of threads and locks
a graph-based approach
Kenter, Sebastian
2022
“
...
FB
10
:
Mathematik
und
Informatik
...
”
Volltext
3
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
“
...
FB
10
:
Mathematik
und
Informatik
...
”
Volltext
Alles auswählen
Auswahl:
Suchwerkzeuge:
RSS-Feed abonnieren
Suche einschränken
Suchfilter entfernen
Filter aufheben
Dokumenttypen: Dissertation/Habilitation
Filter aufheben
Personen: Müller-Olm, Markus
OpenAccess
Open Access
3
Dokumenttypen
Dissertation/Habilitation
Personen
Müller-Olm, Markus
Kenter, Sebastian
1
Lammich, Peter
1
Nordhoff, Benedikt
1
FB/Einrichtung
FB 10: Mathematik und Informatik
3
Schlagwörter
Programmanalyse
2
Abstrakte Interpretation
1
Dynamische Pushdown-Netzwerke
1
Formale Methoden
1
Graphgrammatiken
1
Informationsfluss
1
Informationsflusssicherheit
1
Locking
1
Locksensitive Erreichbarkeit
1
Model-Checking
1
Monitore
1
Nebenläufigkeit
1
PDG
1
Parallele Programme
1
Verifikation
1
Vorgängermengen
1
abstract-interpretation
1
dynamische Pushdown-Netzwerke
1
formal methods
1
information flow
1
information flow security
1
pdg
1
program analysis
1
program verification
1
Fachgebiete
Mathematik
2
Datenverarbeitung; Informatik
1
Informatik, Informationswissenschaft, allgemeine Werke
1
Erscheinungsjahr
2022
1
2021
1
2011
1
Medientypen
Text
3
×
Wird geladen...