共 50 条
- [31] A UML approach to the design of open distributed systems FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 561 - 572
- [32] Distributed Reconfigurable B approach for the specification and verification of B-based distributed reconfigurable control systems ADVANCES IN MECHANICAL ENGINEERING, 2017, 9 (11):
- [33] Analysis and design of a distributed model of coordination control for reconfigurable manufacturing systems PROCEEDINGS OF THE 13TH IASTED INTERNATIONAL CONFERENCE ON ROBOTICS AND APPLICATIONS/PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON TELEMATICS, 2007, : 537 - 542
- [34] Reconfigurable Control in Distributed Automation Systems RECONFIGURABLE MECHANISMS AND ROBOTS, 2009, : 718 - 727
- [35] A UML-based design methodology for real-time and embedded systems DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2002 PROCEEDINGS, 2002, : 776 - 779
- [36] Functional verification for UML-based model driven design of embedded systems FROM SPECIFICATION TO EMBEDDED SYSTEMS APPLICATION, 2005, 184 : 103 - 114
- [37] UML-based design flow and partitioning methodology for dynamically reconfigurable computing systems EMBEDDED AND UBIQUITOUS COMPUTING - EUC 2005, 2005, 3824 : 479 - 488
- [38] UML for embedded systems specification and design: Motivation and overview DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2002 PROCEEDINGS, 2002, : 773 - 775
- [40] Design and optimization of dynamically reconfigurable embedded systems ERSA 2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ENGINEERING OF RECONFIGURABLE SYSTEMS AND ALGORITHMS, 2001, : 78 - 84