Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Olivier (H. ) Roux
Formal Verification of Real-Time Systems With Preemptive Scheduling
Real-Time Systems
Control
Systems Engineering
Optimization
Electronic Engineering
Computer Networks
Simulation
Communications
Computer Science Applications
Electrical
Modeling
Romeo: A Tool for Analyzing Time Petri Nets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
