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:
Unit (Department)
Computer Science
Remove constraint Unit (Department): Computer Science
Keyword
Alloy
Remove constraint Keyword: Alloy
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
Select an image to start the slideshow
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
1 of 3
Disjunction of Regular Timing Diagrams
2 of 3
Alchemy: Transmuting Base Specifications into Implementations
3 of 3
Toggle facets
Limit your search
Collections
Masters Theses
3
Year
Year range begin
–
Year range end
Current results range from
2009
to
2020
View distribution
Creator
Feng, Yu
1
VanValkenburg, MaryAnn E.
1
Yoo, Daniel
1
Advisor
Dougherty, Daniel J.
1
Fisler, Kathryn
2
Contributor
Dougherty, Daniel J.
1
Fisler, Kathryn
2
Unit (Department)
Computer Science
[remove]
3
Publisher
Worcester Polytechnic Institute
3
Resource type
Thesis
3