Showing 6,701 - 6,701 results of 6,701 for search '(( 50 n decrease ) OR ( 50 ((((ng decrease) OR (nn decrease))) OR (mean decrease)) ))', query time: 0.35s Refine Results
  1. 6701

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