Showing 26,501 - 26,504 results of 26,504 for search '(( 5 cm decrease ) OR ( 5 ((wt decrease) OR (((nn decrease) OR (mean decrease)))) ))', query time: 0.50s Refine Results
  1. 26501
  2. 26502

    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.…”
  3. 26503
  4. 26504