Index Catalog // 蹄兔

清除筛选

筛选: 创造者 Haley, Alexander Gregory

Random finite-state automata for model checking

创造者:

Haley, Alexander Gregory and Vaillancourt, Dale

Advisor:

Fisler, Kathryn and Selkow, Stanley M.

出版者:

Worcester Polytechnic Institute

创建日期:

2002-01-01

Resource Type:

Major Qualifying Project
Framingham Coalition community website project.

关键词:

Web sites--Design and construction, Public health, and Community development

创造者:

Gedraitis, David Charles, Haley, Alexander Gregory, and Clark, Nathaniel Lawrence

Advisor:

Trimbur, John

出版者:

Worcester Polytechnic Institute

创建日期:

2002-01-01

Resource Type:

Interactive Qualifying Project