Index Catalog // Hyrax

Cancellare i filtri

Filtro per: Creatore VanValkenburg, MaryAnn E.

Parola chiave:: Formal verification, Alloy, Formal modeling, and Cooperative autonomous driving (CAD)
Creatore:: VanValkenburg, MaryAnn E.
Advisor:: Dougherty, Daniel J.
Editore:: Worcester Polytechnic Institute
data di creazione:: 2020-05-18
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science

Affina la ricerca