Raphaƫl Beamonte, Naser Ezzati Jivan, Michel R. Dagenais. Execution trace-based model verification to analyze multicore and real-time systems. Concurrency - Practice and Experience, 34(17), 2022. [doi]
No references recorded for this publication.
No citations of this publication recorded.