共 50 条
- [41] Calculation and verification of pinch electromagnetic action on the shaped charge jet in the passive electromagnetic armor Gaodianya Jishu/High Voltage Engineering, 2013, 39 (01): : 251 - 256
- [44] Modelling of tunnel fires - verification and validation 10TH INTERNATIONAL SYMPOSIUM ON AERODYNAMICS AND VENTILATION OF VEHICLE TUNNELS: PRINCIPLES, ANALYSIS AND DESIGN, 2000, (43): : 49 - 62
- [45] SPEAKER VERIFICATION USING GMM MODELLING UNIVERSITY POLITEHNICA OF BUCHAREST SCIENTIFIC BULLETIN SERIES C-ELECTRICAL ENGINEERING AND COMPUTER SCIENCE, 2014, 76 (02): : 117 - 130
- [46] Modelling and Formal Verification of the NEO Protocol TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY VI, 2012, 7400 : 197 - 225
- [48] Modelling and verification of timed interaction and migration FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 4961 : 215 - +
- [50] Modelling and verification of BPEL business processes JOINT MEETING OF THE FOURTH WORKSHOP ON MODEL-BASED DEVELOPMENT OF COMPUTER-BASED SYSTEMS AND THIRD INTERNATIONAL WORKSHOP ON MODEL-BASED METHODOLOGIES FOR PERVASIVE AND EMBEDDED SOFTWARE, PROCEEDINGS, 2006, : 144 - +