Skip to Content
Toggle navigation
Página Principal
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
Help
Explore, Discover, Share
Ir
Advanced search
Busca
Remover filtros
Filtragem por:
Palavra-chave
Verification
Remover Palavra-chave: Verification
1
-
4
de
4
Ordenar por relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Número de resultados para mostrar por página
10 por página
10
por página
20
por página
50
por página
100
por página
Ver resultados como:
Lista
Gallery
Masonry
Slideshow
Resultados da Busca
User Evaluation Framework for Model Finding Research
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
µLeech: A Side-Channel Evaluation Platform for Next Generation Trusted Embedded Systems
Palavra-chave:
Performance
,
Security
,
Verification
, and
Design
O Criador:
Moukarzel, Michael A
Advisor:
Sunar, Berk
Editor:
Worcester Polytechnic Institute
Data Criada:
2015-09-10
Resource Type:
Thesis
Degree:
ME
Unit (Department):
Electrical & Computer Engineering
Development of a Computer Program for the Verification and Validation of Numerical Simulations in Roadside Safety
Palavra-chave:
Verification
,
LS-DYNA
,
Validation
,
Full-Scale Crash Tests
, and
Finite Element
O Criador:
Mongiardini, Mario
Advisor:
Ray, Malcolm H.
Editor:
Worcester Polytechnic Institute
Data Criada:
2010-05-06
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Civil & Environmental Engineering
A Modular Model Checking Algorithm for Cyclic Feature Compositions
Palavra-chave:
model checking
,
feature-oriented software development
,
modular verification
,
Verification
, and
assume-guarantee reasoning
O Criador:
Wang, Xiaoning
Advisor:
Fisler, Kathryn
Editor:
Worcester Polytechnic Institute
Data Criada:
2005-01-11
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Toggle facets
Filtre sua busca
Collections
Masters Theses
3
PhD Dissertations
1
Year
Year range begin
–
Year range end
Current results range from
2005
to
2016
View distribution
O Criador
Danas, Ryan
1
Mongiardini, Mario
1
Moukarzel, Michael A
1
Wang, Xiaoning
1
Advisor
Dougherty, Daniel J.
1
Fisler, Kathryn
1
Ray, Malcolm H.
1
Sunar, Berk
1
Contributor
Albano, Leonard D.
1
Dougherty, Daniel J.
1
Eisenbarth, Thomas
1
Fisler, Kathryn
1
Pietroforte, Roberto
1
mais
Contributors
»
Unit (Department)
Civil & Environmental Engineering
1
Computer Science
2
Electrical & Computer Engineering
1
Editor
Worcester Polytechnic Institute
4
Tipo de recurso
Thesis
3
Dissertation
1