Showing 20,921 - 20,924 results of 20,924 for search '(( 20 c decrease ) OR ( 5 ((ng decrease) OR (((nn decrease) OR (mean decrease)))) ))', query time: 0.43s Refine Results
  1. 20921
  2. 20922
  3. 20923

    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.…”
  4. 20924