Testing Finite State Machines: Fault Detection
- 作者M. Yannakakis; D. Lee
- 卷第50卷
- 期第2期
- 印刷ISSN0022-0000
- 电子ISSN1090-2724
- 文件大小1869.21KB
- 发表时间1995
- DOI10.1006/jcss.1995.1019
- 页码209-227
Analysis of Transient Electromagnetic Scattering from Overfilled CavitiesWood, Aihua; Van, Tri · SIAM Journal on Applied Mathematics · 2004
Analysis of Transient Electromagnetic Scattering from Overfilled CavitiesTri Van and Aihua Wood · SIAM Journal on Applied Mathematics · 2003-2004
Finite element analysis of transient electromagnetic scattering problemsTri Van; Aihua Wood · Advances in Computational Mathematics · 2005
Analysis of Time–Domain Maxwell's Equations for 3-D CavitiesTri Van; Aihua Wood · Advances in Computational Mathematics · 2002
A time-marching finite element method for an electromagnetic scattering problemTri Van; Aihua Wood · 2003
A Time-Domain Finite Element Method for Maxwell's EquationsVan, Tri; Wood, Aihua · SIAM Journal on Numerical Analysis · 2004
A Time-Domain Finite Element Method for Maxwell's EquationsTri Van and Aihua Wood · SIAM Journal on Numerical Analysis · 2005