Skip to Content
Toggle navigation
Casa
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
Accesso
Explore, Discover, Share
Partire
Advanced search
Ricerca
Cancellare i filtri
Filtro per:
Advisor
Fisler, Kathryn
Cancella il filtro Advisor: Fisler, Kathryn
« Pagina precedente |
1
-
10
di
45
|
Pagina successiva »
Ordina per relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Risultati per pagina
10 per pagina
10
per pagina
20
per pagina
50
per pagina
100
per pagina
Visualizza i risultati come:
Lista
Galleria
Lavoro in corso
Slideshow
Download search results to .CSV file
Risultati della ricerca
Verification techniques of feature-oriented Java
Timing diagram to Buchi automation translation
Random finite-state automata for model checking
Mining state machine simulations
Generating header files for hardware simulators
FSATS -- a case study of computer-aided verification for large systems
Extensible timing diagram editor
Emergency response simulation
Development of cross-disciplinary course material
Comparing algorithms for symbolic cycle detection
« Pagina precedente
Pagina successiva »
1
2
3
4
5
Toggle facets
Affina la ricerca
Collections
Interactive Qualifying Projects
21
Major Qualifying Projects
14
Masters Theses
7
PhD Dissertations
3
Year
Year range begin
–
Year range end
Current results range from
2001
to
2020
View distribution
Creatore
Bartlett, Michael Charles
1
Benoit, Tyler Paul
1
Beski, Richard Alex
1
Bogdanova, Natasha
1
Bonci, Timothy Daniel
1
altri
Creatores
»
Advisor
Camesano, Terri Anne
3
Claypool, Mark L.
1
Davis, Paul W.
3
DiMassa, Daniel
6
Dougherty, Daniel J.
2
altri
Advisors
»
Contributor
Dorn, Brian
1
Dougherty, Daniel J.
2
Fisler, Kathryn
10
Guttman, Joshua
2
Krishnamurthi, Shriram
1
altri
Contributors
»
Project Center
London, England Project Center - IQP
6
Worcester Community Project Center (Massachusetts) - IQP
1
Zurich, Switzerland Project Center - IQP
6
Major
Computer Science
14
Electrical & Computer Engineering
1
Interactive Media & Game Development
1
Physics
1
Unit (Department)
Computer Science
10
Editore
Worcester Polytechnic Institute
45
Soggetto
Community
13
Computing
10
Culture
8
Energy
2
Environment
1
altri
Soggettos
»
Tipo di risorsa
Interactive Qualifying Project
21
Major Qualifying Project
14
Thesis
7
Dissertation
3
