Index Catalog // 蹄兔

清除筛选

筛选: Advisor Dougherty, Daniel J. 创造者 Giannakopoulos, Theophilos John

1. Towards a Transition System Semantics for Alloy

创造者:: Giannakopoulos, Theophilos John
Advisor:: Dougherty, Daniel J.
出版者:: Worcester Polytechnic Institute
创建日期:: 2009-03-16
Resource Type:: Major Qualifying Project

2. Multi-Decision Policy and Policy Combinator Specifications

关键词:: Margrave, Access Control, specifications, policies, policy combinators, and formal methods
创造者:: Giannakopoulos, Theophilos John
Advisor:: Dougherty, Daniel J.
出版者:: Worcester Polytechnic Institute
创建日期:: 2012-02-21
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science