Login / Signup
Pascal Fradet
ORCID
Publication Activity (10 Years)
Years Active: 1989-2023
Publications (10 Years): 13
Top Topics
Optimal Scheduling
Fault Tolerance
Formal Verification
State Machine
Top Venues
RTSS
RTAS
DATE
ACM Trans. Design Autom. Electr. Syst.
</>
Publications
</>