Showing 20,501 - 20,502 results of 20,502 for search '(( 5 ((ppm decrease) OR (mean decrease)) ) OR ( a ((point decrease) OR (nn decrease)) ))', query time: 0.47s Refine Results
  1. 20501

    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.…”
  2. 20502