Index Catalog // Hyrax

Cancellare i filtri

Filtro per: Creatore VanValkenburg, MaryAnn E. Editore Worcester Polytechnic Institute

Alloy-Guided Verification of Cooperative Autonomous Driving Behavior

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