Joumana Lagha, Jean-Luc Béchennec, Sébastien Faucou, Olivier-H Roux. Toward an Exact Simulation Interval for Multiprocessor Real-Time Systems Validation.
VALID 2020, The Twelfth International Conference on Advances in System Testing and Validation Lifecycle, Oct 2020, Lisbon, Portugal.
⟨hal-03006791⟩