共 50 条
- [35] Moving from Specifications to Contracts in Component-Based Design FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2012, 2012, 7212 : 43 - 58
- [37] Global models of electronegative discharges: critical evaluation and practical recommendations PLASMA SOURCES SCIENCE & TECHNOLOGY, 2008, 17 (04):
- [40] From System Specifications to Component Behavioral Models 2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, COMPANION VOLUME, 2009, : 315 - 318