共 50 条
- [14] Hierarchical modeling and verification of embedded systems EUROMICRO SYMPOSIUM ON DIGITAL SYSTEMS DESIGN, PROCEEDINGS, 2001, : 63 - 70
- [16] New approaches to computational modeling of the cardiac valves Proceedings of the IASTED International Conference on Biomechanics, 2004, : 134 - 137
- [17] Dynamic Prediction Modeling Approaches for Cardiac Surgery CIRCULATION-CARDIOVASCULAR QUALITY AND OUTCOMES, 2013, 6 (06): : 649 - +