共 50 条
- [31] A new time model for the specification, design, validation and synthesis of embedded real-time systems [J]. DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2002 PROCEEDINGS, 2002, : 1095 - 1095
- [33] Research on Modeling and Design of Real-Time Embedded Systems [J]. 2014 7TH INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTATION TECHNOLOGY AND AUTOMATION (ICICTA), 2014, : 547 - 550
- [36] A Model-Based Engineering Methodology for Requirements and Formal Design of Embedded and Real-Time Systems [J]. PROCEEDINGS OF THE 50TH ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 2017, : 6131 - 6140
- [37] A UML profile and a methodology for real-time systems design [J]. 32ND EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA) - PROCEEDINGS, 2006, : 108 - +
- [38] Computation and Communication Co-Design for Real-Time Monitoring and Control in Multi-Agent Systems [J]. 2021 19TH INTERNATIONAL SYMPOSIUM ON MODELING AND OPTIMIZATION IN MOBILE, AD HOC, AND WIRELESS NETWORKS (WIOPT), 2021,
- [39] A methodology for structured object-oriented elicitation and analysis of temporal constraints in hardware/software co-analysis and co-design of real-time systems [J]. 30TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL 1, REGULAR PAPERS/PANELS, PROCEEDINGS, 2006, : 281 - +