Index Catalog // Hyrax

Borrar filtros

Filtrado por: Creador VanValkenburg, MaryAnn E.

Alloy-Guided Verification of Cooperative Autonomous Driving Behavior

Palabra clave:

Formal verification, Alloy, Formal modeling, and Cooperative autonomous driving (CAD)

Creador:

VanValkenburg, MaryAnn E.

Advisor:

Dougherty, Daniel J.

Editor:

Worcester Polytechnic Institute

Fecha de Creacion:

2020-05-18

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science