Searching for authors named "Wei Jen Yeh" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Controlling State Explosion in Reachability Analysis
- … University by Wei Jen Yeh In Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy…
- Cited by 14 (2 self) – Add To MetaCart
-
Compositional Reachability Analysis Using Process Algebra
- …Compositional Reachability Analysis Using Process Algebra Wei Jen Yeh Michal Young Software…
- Cited by 58 (3 self) – Add To MetaCart
-
Re-designing Tasking Structures of Ada Programs for Analysis: A Case Study
- … TR-148-P Wei Jen Yeh Michal Young Software Engineering Research Center Department of Computer…
- Add To MetaCart
-
Hierarchical Tracing of Concurrent Programs
- …Hierarchical Tracing of Concurrent Programs Wei Jen Yeh Michal Young Department of Computer…
- Add To MetaCart
Showing 1 through 4.
