Index Catalog // Hyrax

Skip to Content

Accueil
Browse
About
Help

Explore, Discover, Share

Advanced search

Recherche

Effacer les filtres

Filtrage par: Créateur Giannakopoulos, Theophilos John Supprimer la restriction Créateur: Giannakopoulos, Theophilos John

1 - 3 sur 3

relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲

Nombre de résultats à afficher par page

10 par page
20 par page
50 par page
100 par page

Affichage:

Liste Galerie Mosaïque Diaporama

Résultats de recherche

Towards a Transition System Semantics for Alloy

Créateur:

Giannakopoulos, Theophilos John

Advisor:

Dougherty, Daniel J.

Éditeur:

Worcester Polytechnic Institute

date créée:

2009-03-16

Resource Type:

Major Qualifying Project
Making the Link: Entrepreneurship in Costa Rica

Mot-clé:

Marketing research and Entrepreneurship

Créateur:

Giannakopoulos, Theophilos John, Osborne, Kenneth L., and Knox, Daniel

Advisor:

El-Korchi, Tahar and Higgins, Lorraine D.

Éditeur:

Worcester Polytechnic Institute

date créée:

2007-07-03

Resource Type:

Interactive Qualifying Project
Multi-Decision Policy and Policy Combinator Specifications

Mot-clé:

Margrave, Access Control, specifications, policies, policy combinators, and formal methods

Créateur:

Giannakopoulos, Theophilos John

Advisor:

Dougherty, Daniel J.

Éditeur:

Worcester Polytechnic Institute

date créée:

2012-02-21

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science

Limiter votre recherche

Collections

Interactive Qualifying Projects1
Major Qualifying Projects1
Masters Theses1

Year

Year range begin – Year range end

Current results range from 2007 to 2012

View distribution

Créateur

Giannakopoulos, Theophilos John[remove]3
Knox, Daniel1
Osborne, Kenneth L.1

Advisor

Dougherty, Daniel J.2
El-Korchi, Tahar1
Higgins, Lorraine D.1

Contributor

Dougherty, Daniel J.1

Project Center

San Jose, Costa Rica Project Center - IQP1

Major

Computer Science1

Unit (Department)

Computer Science1

Éditeur

Worcester Polytechnic Institute3

Assujettir

Industry1

Type de ressource

Interactive Qualifying Project1
Major Qualifying Project1
Thesis1

Un service de Samvera .

Hyrax v3.3.0

S'identifier

Copyright © 2018 Samvera Licence sous Licence Apache, Version 2.0