Index Catalog // 蹄兔

清除筛选

筛选: 创造者 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. Making the Link: Entrepreneurship in Costa Rica

关键词:: Marketing research and Entrepreneurship
创造者:: Giannakopoulos, Theophilos John, Osborne, Kenneth L., and Knox, Daniel
Advisor:: El-Korchi, Tahar and Higgins, Lorraine D.
出版者:: Worcester Polytechnic Institute
创建日期:: 2007-07-03
Resource Type:: Interactive Qualifying Project

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