Showing 42,681 - 42,685 results of 42,685 for search '(( 5 ((mean decrease) OR (point decrease)) ) OR ( 100 ((nm decrease) OR (a decrease)) ))', query time: 0.96s Refine Results
  1. 42681
  2. 42682
  3. 42683

    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. 42684
  5. 42685