Index Catalog // Digital WPI

Start Over

Filtering by: Unit (Department) Computer Science Keyword Cooperative autonomous driving (CAD) Year 2020

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