Wei Jen Yeh

According to our database¹, Wei Jen Yeh authored at least 3 papers between 1991 and 1994.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

1994

Re-designing Tasking Structures of Ada Programs for Analysis: A Case Study.

[DOI]

Softw. Test. Verification Reliab., 1994

1993

Controlling state explosion in reachability analysis

[DOI]

PhD thesis, 1993

1991

Compositional Reachability Analysis Using Process Algebra.

[DOI]

Proceedings of the Symposium on Testing, Analysis, and Verification, 1991