共 50 条
- [1] PROBABILISTIC APPROACHES TO THE COMBINATION OF LOADS IN STRUCTURAL DESIGN PROCEEDINGS ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM, 1981, (NSYM): : 28 - 32
- [2] PROBABILISTIC APPROACHES TO THE COMBINATION OF LOADS IN STRUCTURAL DESIGN. Proceedings of the Annual Reliability and Maintainability Symposium, 1981, : 28 - 32
- [9] Probabilistic Contracts for Component-Based Design AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2010, 6252 : 325 - 340
- [10] Probabilistic contracts for component-based design Formal Methods in System Design, 2012, 41 : 211 - 231