Showing 15,621 - 15,626 results of 15,626 for search '(((( 50 ns decrease ) OR ( 5 point decrease ))) OR ( 5 ((mean decrease) OR (nn decrease)) ))', query time: 0.33s Refine Results
  1. 15621
  2. 15622
  3. 15623
  4. 15624

    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.…”
  5. 15625
  6. 15626