共 50 条
- [5] Next generation TAVI with the Lotus Valve System: a repositionable and fully retrievable transcatheter aortic valve prosthesis MINERVA CARDIOANGIOLOGICA, 2015, 63 (04): : 343 - 357
- [10] A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system International Journal on Software Tools for Technology Transfer, 2017, 19 : 717 - 741