Cited By
View all- Aksoy KRashid ATahar S(2024)Formal Kinematic Analysis of Epicyclic Bevel Gear TrainsFormal Methods and Software Engineering10.1007/978-981-96-0617-7_10(162-180)Online publication date: 29-Nov-2024
- Shi ZChen G(2024)Coq Formalization of Orientation Representation: Matrix, Euler Angles, Axis-Angle and QuaternionFormal Aspects of Component Software10.1007/978-3-031-71261-6_5(79-96)Online publication date: 9-Sep-2024
- Tekriwal MTachna-Fram AJeannin JKapritsos MPanagou D(2024)Formally verified asymptotic consensus in robust networksTools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-031-57246-3_14(248-267)Online publication date: 4-Apr-2024
- Show More Cited By