Index Catalog // Digital WPI

Skip to Content

Home
Browse
About
- About Us
- Help

Login

Explore, Discover, Share

Advanced search

Search Constraints

Start Over

Filtering by: Advisor Fisler, Kathryn Remove constraint Advisor: Fisler, Kathryn Publisher Worcester Polytechnic Institute Remove constraint Publisher: Worcester Polytechnic Institute Year 2004 Remove constraint Year: 2004

1 - 3 of 3

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

Number of results to display per page

10 per page
20 per page
50 per page
100 per page

View results as:

List Gallery Masonry Slideshow

Search Results

FSATS -- a case study of computer-aided verification for large systems

Creator:

Landry, Brian R.

Advisor:

Fisler, Kathryn

Publisher:

Worcester Polytechnic Institute

Date Created:

2004-01-01

Resource Type:

Major Qualifying Project
Development of cross-disciplinary course material

Creator:

Bogdanova, Natasha

Advisor:

Trimbur, John and Fisler, Kathryn

Publisher:

Worcester Polytechnic Institute

Date Created:

2004-01-01

Resource Type:

Major Qualifying Project
Automatic verification of role based access control policies

Creator:

Shultz, Abraham M.

Advisor:

Fisler, Kathryn

Publisher:

Worcester Polytechnic Institute

Date Created:

2004-01-01

Resource Type:

Major Qualifying Project

Limit your search

Collections

Major Qualifying Projects3

Year

2004[remove]3

Creator

Bogdanova, Natasha1
Landry, Brian R.1
Shultz, Abraham M.1

Advisor

Fisler, Kathryn[remove]3
Trimbur, John1

Major

Computer Science3

Publisher

Worcester Polytechnic Institute[remove]3

Resource type

Major Qualifying Project3

A service of Samvera.

Digital WPI v3.3.0

Copyright © 2024 Samvera Licensed under the Apache License, Version 2.0