共 50 条
- [21] A Component-Based Approach to Hybrid Systems Safety Verification INTEGRATED FORMAL METHODS (IFM 2016), 2016, 9681 : 441 - 456
- [23] A component-based approach for conveying systems control design ICINCO 2007: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL SPSMC: SIGNAL PROCESSING, SYSTEMS MODELING AND CONTROL, 2007, : 329 - 336
- [24] Quality aspects for component-based systems: A metrics based approach SOFTWARE-PRACTICE & EXPERIENCE, 2012, 42 (12): : 1531 - 1548
- [25] Decompositional verification of component-based systems - A hybrid approach 19TH INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2004, : 414 - 417
- [27] Component-based simulation modeling PROCEEDINGS OF THE 2000 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2000, : 964 - 971
- [28] Component-based Modeling in Umple PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2018, : 247 - 255
- [29] Composition for component-based modeling FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2003, 2852 : 443 - 466
- [30] Reliability Analysis of Component-Based Systems with Multiple Failure Modes COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2010, 6092 : 1 - +