Feiying Lan

1PUBLICATIONS
1CO-AUTHORS
Formal methods for software
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (1)

|Aug 31, 2023
On the correctness of using two-dimensional representations in the analysis of cylindrical peg-hole insertion and withdrawal.

Feiying Lan, Marco Castellani, Duc Truong Pham

Pageof 1

Frequent Collaborators

1 joint publications

Yongjing Wang