Search alternatives:
mean decrease » a 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)
n decrease » _ decrease (Expand Search), a decrease (Expand Search), _ decreased (Expand Search)
50 n » 50 ns (Expand Search), 50 ng (Expand Search), 50 μ (Expand Search)
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

    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: