output
20142022
most citedMirror production for the Cherenkov telescopes of the ASTRI Mini-Array and of the MST project for the Cherenkov Telescope Array

14 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2014★ 1 cited

Dynamic Verification of SystemC with Statistical Model Checking

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…