Skip to Content
Toggle navigation
Home
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
Help
Explore, Discover, Share
Search
Advanced search
Search Constraints
Start Over
Filtering by:
Advisor
Fisler, Kathryn
Remove constraint Advisor: Fisler, Kathryn
Year
2004
Remove constraint Year: 2004
1
-
3
of
3
Sort by relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Number of results to display per page
10 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
Toggle facets
Limit your search
Collections
Major Qualifying Projects
3
Year
2004
[remove]
3
Creator
Bogdanova, Natasha
1
Landry, Brian R.
1
Shultz, Abraham M.
1
Advisor
Fisler, Kathryn
[remove]
3
Trimbur, John
1
Major
Computer Science
3
Publisher
Worcester Polytechnic Institute
3
Resource type
Major Qualifying Project
3