Skip to Content
Toggle navigation
Startseite
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
Anmeldung
Explore, Discover, Share
Suchen
Advanced search
Suchen
Filter löschen
Filtern nach:
Stichwort
formal methods
Entfernen Zwang Stichwort: formal methods
Collections
Masters Theses
Entfernen Zwang Collections: Masters Theses
1
-
2
von
2
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
User Evaluation Framework for Model Finding Research
Stichwort:
Verification
,
model finding
,
Case Studies
,
model finders
,
user studies
,
user evaluation
,
formal methods
, and
logic
Schöpfer:
Danas, Ryan
Advisor:
Dougherty, Daniel J.
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2016-08-31
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Multi-Decision Policy and Policy Combinator Specifications
Stichwort:
Margrave
,
Access Control
,
specifications
,
policies
,
policy combinators
, and
formal methods
Schöpfer:
Giannakopoulos, Theophilos John
Advisor:
Dougherty, Daniel J.
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2012-02-21
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Toggle facets
Beschränken dein Suche
Collections
Masters Theses
[remove]
2
Year
Year range begin
–
Year range end
Current results range from
2012
to
2016
View distribution
Schöpfer
Danas, Ryan
1
Giannakopoulos, Theophilos John
1
Advisor
Dougherty, Daniel J.
2
Contributor
Dougherty, Daniel J.
2
Unit (Department)
Computer Science
2
Herausgeber
Worcester Polytechnic Institute
2
Ressourcentyp
Thesis
2