共 50 条
- [41] Relational contracts, multitasking, and job design JOURNAL OF LAW ECONOMICS & ORGANIZATION, 2008, 24 (01): : 138 - 162
- [42] Understanding the Impact of Collection Contracts on Design OBJECTS, MODELS, COMPONENTS, PATTERNS, 2010, 6141 : 61 - 78
- [47] Probabilistic contracts for component-based design Formal Methods in System Design, 2012, 41 : 211 - 231
- [48] Cyber-Physical System Design Contracts 2013 ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS), 2013, : 109 - 118
- [50] Probabilistic Contracts for Component-Based Design AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2010, 6252 : 325 - 340