Searching for authors named "Li Tan" – sorted by Relevance.
-
Evidence-Based Verification
- Evidence-Based Verification A Dissertation Presented by Li Tan to Computer Science Department
- Cited by 1 (1 self) – Add To MetaCart
-
A note on Cayley-Bacharach property for vector bundles
- [Page 1] A note on Cayley-Bacharach property for vector bundles Sheng-Li Tan and Eckart Viehweg
- Add To MetaCart
-
Evidence-Based Model Checking
- Evidence-Based Model Checking # Li Tan and Rance Cleaveland Department of Computer Science State
- Cited by 26 (3 self) – Add To MetaCart
-
Simulation Revisited
- Simulation Revisited Li Tan and Rance Cleaveland Department of Computer Science State University
- Cited by 8 (0 self) – Add To MetaCart
-
Breakpoint Debugging Mechanism For Microprocessor Design
- Breakpoint Debugging Mechanism For Microprocessor Design Wdng Daiighui Can Deyuan Li Tan (1
- Add To MetaCart
-
Testing and Monitoring Model-based Generated Program
- ://www.elsevier.nl/locate/entcs/volume89.html 20 pages Abstract Testing and Monitoring Model-based Generated Program ⋆ Li Tan, Jesung Kim
- Cited by 8 (2 self) – Add To MetaCart
-
Property-Coverage Testing
- Property-Coverage Testing Li Tan, Oleg Sokolsky, and Insup Lee Department of Computer
- Cited by 3 (0 self) – Add To MetaCart
-
Navigation Templates for PSA
- done for the PSA 2D simulator. This prototype PSA robot floats over Navigation Templates for PSA Li Tan
- Cited by 1 (1 self) – Add To MetaCart
-
Simplified Navigation and Traverse Planning for a Long-Range Planetary Rover
- Simplified Navigation and Traverse Planning for a Long-Range Planetary Rover David P. Miller Li
- Cited by 1 (1 self) – Add To MetaCart
-
unknown title
- '& $% An Abstract Sc hema for Equiv alence Chec king Games Li Tan Computer Science Departmen
- Add To MetaCart

