共 50 条
- [3] State-based scheduling with tree schedules: analysis and evaluation Real-Time Systems, 2012, 48 : 430 - 462
- [5] Dynamic crack arrest analysis by ordinary state-based peridynamics International Journal of Fracture, 2020, 221 : 155 - 169
- [8] Safety analysis of software product lines using state-based modeling 16TH IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2005, : 21 - 30