共 37 条
- [21] Automatic code generation for real-time reactive systems in TROMLAB environment SEVENTH INTERNATIONAL CONFERENCE ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2000, : 503 - 510
- [22] Models for automatic generation of safety-critical real-time systems ARES 2007: SECOND INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS, 2007, : 580 - +
- [23] Automatic model generation of real-time simulation for complex dynamic systems Hangkong Xuebao/Acta Aeronautica et Astronautica Sinica, 19 (07): : 107 - 111
- [24] Automatic generation of run-time test oracles for distributed real-time systems FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2004, PROCEEDINGS, 2004, 3235 : 199 - 212
- [25] Real-time velocity scaling and obstacle avoidance for industrial robots using fuzzy dynamic movement primitives and virtual impedances INDUSTRIAL ROBOT-THE INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH AND APPLICATION, 2018, 45 (01): : 110 - 126
- [26] Automatic test case generation with region-related coverage annotations for real-time systems AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2005, 3707 : 144 - 158
- [27] Automatic Code Generation for Real-Time Systems: a Development Approach based on Components, Models, and Frameworks REVISTA IBEROAMERICANA DE AUTOMATICA E INFORMATICA INDUSTRIAL, 2012, 9 (02): : 170 - 181
- [28] Automatic generation of code within the context of the design of the embedded real-time systems: Case study ICM 2003: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON MICROELECTRONICS, 2003, : 313 - 316
- [29] Power-aware automatic constraint generation for FPGA based real-time video processing systems 2007 NORCHIP, 2007, : 124 - 128
- [30] Target software generation: an approach for automatic mapping of SystemC specifications onto real-time operating systems Design Automation for Embedded Systems, 2005, 10 : 229 - 251