4 citations · 6 across the 4 of their papers we have counts for
1 paper · 1 filter
Van Chan Ngo, Axel Legay, Jean Quilbeuf
Many embedded and real-time systems have a inherent probabilistic behaviour (sensors data, unreliable hardware,...). In that context, it is crucial to evaluate system properties su…