Login / Signup
Florian Vanhems
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Multi Agent
Implementation Details
Mathematical Theory
Top Venues
RTAS
</>
Publications
</>
Florian Vanhems
,
Vlad Rusu
,
David Nowak
,
Gilles Grimaud
A Formal Correctness Proof for an EDF Scheduler Implementation.
RTAS
(2022)