共 50 条
- [31] Error computation for predictable real-time software synthesis SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2011, 87 (04): : 334 - 350
- [34] Automatic synthesis and verification of real-time embedded software EMBEDDED AND UBIQUITOUS COMPUTING, PROCEEDINGS, 2004, 3207 : 12 - 21
- [37] Applications of a real-time software framework for complex mechatronic systems 2005 IEEE/ASME INTERNATIONAL CONFERENCE ON ADVANCED INTELLIGENT MECHATRONICS, VOLS 1 AND 2, 2005, : 1324 - 1329
- [38] A SOFTWARE GENERATOR FOR MULTITRANSPUTER-BASED REAL-TIME APPLICATIONS MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 529 - 536