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:
O Criador
Wang, Xiaoning
Remover O Criador: Wang, Xiaoning
1
para
1
de
1
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
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
1
Year
2005
1
O Criador
Wang, Xiaoning
[remove]
1
Advisor
Fisler, Kathryn
1
Contributor
Fisler, Kathryn
1
Unit (Department)
Computer Science
1
Editor
Worcester Polytechnic Institute
1
Tipo de recurso
Thesis
1