Documents publiés en "2022"

monter Monter d'un niveau
Pour citer ou exporter
Grouper par: Auteurs ou autrices | Département | Sous-type de document | Aucun groupement
Nombre de documents: 1

Article de revue

Beamonte, R., Ezzati-Jivan, N., & Dagenais, M. (2022). Execution trace-based model verification to analyze multicore and real-time systems. Concurrency and Computation-Practice & Experience, 34(17), e6974 (26 pages). Lien externe

Liste produite: Wed Oct 21 02:48:17 2026 EDT.