Search alternatives:
mean decrease » a decrease (Expand Search)
ns decrease » _ decrease (Expand Search), a decrease (Expand Search), we decrease (Expand Search)
ng decrease » _ decrease (Expand Search), a decrease (Expand Search), we decrease (Expand Search)
nn decrease » _ decrease (Expand Search), a decrease (Expand Search), gy decreased (Expand Search)
Showing 4,641 - 4,641 results of 4,641 for search '(( 50 ((ns decrease) OR (mean decrease)) ) OR ( 5 ((ng decrease) OR (nn decrease)) ))', query time: 0.30s Refine Results
  1. 4641
    UPPAAL SMC model specification

    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.…”
    Save to List
    Saved in:

Search Tools: