共 50 条
- [21] Probabilistic Contracts for Component-Based Design AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2010, 6252 : 325 - 340
- [22] Design of extensible component-based groupware Computer Supported Cooperative Work: CSCW: An International Journal, 2000, 9 (01): : 53 - 74
- [23] Probabilistic contracts for component-based design Formal Methods in System Design, 2012, 41 : 211 - 231
- [24] Component-Based Design of Embedded Systems SOFTWARE TECHNOLOGIES FOR EMBEDDED AND UBIQUITOUS SYSTEMS, 2010, 6399 : 1 - 1
- [25] Component-based software design model Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 35 (05): : 451 - 454
- [26] Component-based embedded database for mobile embedded systems ITCC 2004: INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: CODING AND COMPUTING, VOL 1, PROCEEDINGS, 2004, : 534 - 538
- [29] The design of a component-based encryption scheme PROCEEDINGS OF THE FIFTH JOINT CONFERENCE ON INFORMATION SCIENCES, VOLS 1 AND 2, 2000, : 611 - 614