Showing 13,861 - 13,862 results of 13,862 for search '(( 5 ppm decrease ) OR ( 5 ((((mean decrease) OR (fold decrease))) OR (nn decrease)) ))', query time: 0.43s Refine Results
  1. 13861

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