共 50 条
- [31] Telerobotic systems design based on real-time CORBA JOURNAL OF ROBOTIC SYSTEMS, 2005, 22 (04): : 183 - 201
- [32] Model-Based Design of Real-Time Systems 2014 26TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2014), 2014, : XVI - XVI
- [33] A KNOWLEDGE BASED APPROACH FOR REAL-TIME SYSTEMS DEBUGGING PROCEEDINGS OF THE TWENTY-FIRST, ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOLS 1-4: ARCHITECTURE TRACK, SOFTWARE TRACK, DECISION SUPPORT AND KNOWLEDGE BASED SYSTEMS TRACK, APPLICATIONS TRACK, 1988, : B533 - B540
- [35] An ADL centric approach for the formal design of real-time systems Architecture Description Languages, 2004, 176 : 67 - 82
- [36] A parametric model checking approach for real-time systems design 12th Asia-Pacific Software Engineering Conference, Proceedings, 2005, : 584 - 591
- [37] A Model-Based Engineering Methodology for Requirements and Formal Design of Embedded and Real-Time Systems PROCEEDINGS OF THE 50TH ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 2017, : 6131 - 6140
- [38] Reservation-based timing analysis - A practical engineering approach for distributed real-time systems EIGHTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS, 2001, : 103 - 110
- [39] A new Simulation-Based Approach in the Design of Manufacturing Systems and Real-Time Decision IFAC PAPERSONLINE, 2021, 54 (01): : 282 - 287
- [40] A knowledge-based approach for automating a design method for concurrent and real-time systems SEKE '96: THE 8TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, PROCEEDINGS, 1996, : 529 - 536