Index Catalog // Hyrax

Remover filtros

Filtragem por: O Criador Danas, Ryan Palavra-chave model finders

Palavra-chave:: Verification, model finding, Case Studies, model finders, user studies, user evaluation, formal methods, and logic
O Criador:: Danas, Ryan
Advisor:: Dougherty, Daniel J.
Editor:: Worcester Polytechnic Institute
Data Criada:: 2016-08-31
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science

Filtre sua busca