Statistics
Publications
1
Citations
16
H-Index
1
Active since
2003
Affiliations
United States Department of Defense(Current)
Wei Tek Tsai is an author at United States Department of Defense specializing in scenario-based verification, model checking, and embedded system verification.
Publications per year
2003–2003
1
1
Rapid scenario-based simulation and model checking for embedded systems
Wei Tek Tsai, Lian Yu, Ray Paul et al. · 2003 · 16 citations
1–1 of 1