Index Catalog // Hyrax

Filter löschen

Filtern nach: Stichwort formal methods

1. 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

2. 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