共 20 条
- [2] Model Checking of Scenario-Aware Data flow with CADP DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2012), 2012, : 653 - 658
- [3] Worst-case Throughput Analysis for Parametric Rate and Parametric Actor Execution Time Scenario-Aware Dataflow Graphs ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (145): : 65 - 79
- [6] Stochastic streamflow and dissolved silica dynamics with application to the worst-case long-run evaluation of water environment Optimization and Engineering, 2023, 24 : 1577 - 1610
- [8] Data-Flow Frameworks for Worst-Case Execution Time Analysis Real-Time Systems, 2002, 22 : 183 - 227