Index Catalog // Digital WPI

Start Over

Filtering by: Creator VanValkenburg, MaryAnn E. Collections Masters Theses Publisher Worcester Polytechnic Institute

Keyword:: Formal verification, Alloy, Formal modeling, and Cooperative autonomous driving (CAD)
Creator:: VanValkenburg, MaryAnn E.
Advisor:: Dougherty, Daniel J.
Publisher:: Worcester Polytechnic Institute
Date Created:: 2020-05-18
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science

Limit your search