Index Catalog // Hyrax

Remover filtros

Filtragem por: Palavra-chave Theorem provers Editor Worcester Polytechnic Institute

Palavra-chave:: Differential dynamic logic, Hybrid systems, Cyber-physical Systems, Safety-critical Systems, Surgical-robots, and Theorem provers
O Criador:: McClain, Natalie
Advisor:: Fichera, Loris and Bohrer, Rose
Editor:: Worcester Polytechnic Institute
Data Criada:: 2023-04-24
Resource Type:: Major Qualifying Project

Filtre sua busca