共 50 条
- [31] ROGERS,RICHARD NEW ARCHITECTURE OF THE 21ST-CENTURY + ILLUSTRATED PROJECT DESIGNS A + U-ARCHITECTURE AND URBANISM, 1990, (236): : 7 - +
- [32] SPECIFICATION AND ANALYSIS OF COMMUNICATION IN DISTRIBUTED DATA PROCESSING SYSTEMS. Sahko, 1982, 55 (04): : 22 - 32
- [34] Semi-Formal and Formal Interface Specification for System of Systems Architecture 2013 7TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON 2013), 2013, : 612 - 619
- [35] Incremental verification of architecture specification language for real-time systems THIRD INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 1997, : 215 - 222
- [36] Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress) LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS, 2008, 17 : 1 - 13
- [38] Requirements specification and architecture design for Internet-based control systems 26TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS, 2002, : 75 - 80
- [39] A programmable DSP architecture for wireless communication systems 16TH INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC SYSTEMS, ARCHITECTURE AND PROCESSORS, PROCEEDINGS, 2005, : 231 - 238
- [40] A Communication Architecture for Monitoring and Diagnosing Distribution Systems SECURITY-ENRICHED URBAN COMPUTING AND SMART GRID, 2010, 78 : 213 - +