共 50 条
- [42] Deterministic dynamic monitors for linear-time assertions [J]. FORMAL APPROACHES TO SOFTWARE TESTING AND RUNTIME VERIFICATION, 2006, 4262 : 163 - +
- [44] Deterministic Dynamic Matching in O(1) Update Time [J]. ALGORITHMICA, 2020, 82 (04) : 1057 - 1080
- [49] What is Really "On-Time"? A Comparison of Due Date Performance Indicators in Production [J]. SIXTH INTERNATIONAL CONFERENCE ON CHANGEABLE, AGILE, RECONFIGURABLE AND VIRTUAL PRODUCTION (CARV2016), 2016, 52 : 124 - 129