共 50 条
- [47] Formal Techniques for a Data-Driven Certification of Advanced Railway Signalling Systems [J]. CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION, 2016, 9933 : 231 - 245
- [49] Data-Driven Haptic Modeling Using Polynomial Hypersurfaces [J]. WORLD HAPTICS 2009: THIRD JOINT EUROHAPTICS CONFERENCE AND SYMPOSIUM ON HAPTIC INTERFACES FOR VIRTUAL ENVIRONMENT AND TELEOPERATOR SYSTEMS, PROCEEDINGS, 2009, : 35 - +