Login / Signup
Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets.
Xiaojie Guo
Sophie Quinton
Pascal Fradet
Jean-François Monin
Published in:
RTSS (2017)
Keyphrases
</>
real time
image analysis
automatic analysis
neural network
computer vision
website
analysis tool
interactive exploration