共 50 条
- [31] Real-time Heart Model for Implantable Cardiac Device Validation and Verification 22ND EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2010), 2010, : 239 - 248
- [32] Development of a Real-Time Tractor Model for Gear Shift Performance Verification AGRICULTURE-BASEL, 2023, 13 (11):
- [34] Formal verification of real-time software by symbolic model-checker 1998 INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 1998, : 99 - 108
- [35] Experimental verification of real-time control for flexible systems with on-off actuators JOURNAL OF DYNAMIC SYSTEMS MEASUREMENT AND CONTROL-TRANSACTIONS OF THE ASME, 2006, 128 (02): : 287 - 296
- [37] AXIAL FLOW COMPRESSOR REAL-TIME TIP CLEARANCE ANALYSIS AND EXPERIMENTAL VERIFICATION PROCEEDINGS OF THE ASME POWER CONFERENCE JOINT WITH ICOPE-17, 2017, VOL 1, 2017,
- [38] Experimental verification of an accessible geographically distributed real-time hybrid simulation platform STRUCTURAL CONTROL & HEALTH MONITORING, 2020, 27 (02):
- [39] Experimental measurements for verification of the parametric model for reference channels in the real PLC environment JOURNAL OF ELECTRICAL ENGINEERING-ELEKTROTECHNICKY CASOPIS, 2008, 59 (03): : 146 - 152
- [40] Wagon Multibody Model and Its Real-Time Application NEW TRENDS IN MECHANISM AND MACHINE SCIENCE: FROM FUNDAMENTALS TO INDUSTRIAL APPLICATIONS, 2015, 24 : 523 - 532