Skip to Content
Toggle navigation
Startseite
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
Help
Explore, Discover, Share
Suchen
Advanced search
Suchen
Filter löschen
Filtern nach:
Stichwort
configuration
Entfernen Zwang Stichwort: configuration
1
eintrag gefunden
Ordnen bei relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Anzahl der Ergebnisse pro Seite angezeigt werden
10 pro Seite
10
pro Seite
20
pro Seite
50
pro Seite
100
pro Seite
Anschauen Ergebnisse als:
Liste
Gallery
Masonry
Slideshow
Suchergebnisse
First-Order Models for Configuration Analysis
Stichwort:
firewalls
,
Security
,
static analysis
,
logic
,
scenarios
,
model finding
, and
configuration
Schöpfer:
Nelson, Tim
Advisor:
Dougherty, Daniel J.
and
Fisler, Kathryn
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2013-04-25
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Computer Science
Toggle facets
Beschränken dein Suche
Collections
PhD Dissertations
1
Year
2013
1
Schöpfer
Nelson, Tim
1
Advisor
Dougherty, Daniel J.
1
Fisler, Kathryn
1
Contributor
Dougherty, Daniel J.
1
Fisler, Kathryn
1
Guttman, Joshua
1
Krishnamurthi, Shriram
1
Unit (Department)
Computer Science
1
Herausgeber
Worcester Polytechnic Institute
1
Ressourcentyp
Dissertation
1