Showing 11,521 - 11,523 results of 11,523 for search '(( 20 μ decrease ) OR ( 50 ((((teer decrease) OR (nn decrease))) OR (mean decrease)) ))', query time: 0.35s Refine Results
  1. 11521
  2. 11522
  3. 11523

    UPPAAL SMC model specification by Marc Souvannasouck (16475829)

    Published 2023
    “…</li> <li>The Light and Serious locations are marked as urgent, which in UPPAAL means that time can't progress in these states, leading to immediate transitions to other states.…”