Login / Signup

Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets.

Xiaojie GuoSophie QuintonPascal FradetJean-François Monin
Published in: RTSS (2017)
Keyphrases
  • real time
  • image analysis
  • automatic analysis
  • neural network
  • computer vision
  • website
  • analysis tool
  • interactive exploration