Raphaël Beamonte, Naser Ezzati-Jivan, Michel Dagenais
Article de revue (2022)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Département:
Adresse URL de PolyPublie:
Titre de la revue
:
Concurrency and Computation-Practice & Experience
(
vol.
34
,
no
17
)
Maison d'édition:
Wiley
DOI:
URL officielle:
OAI:
oai:publications.polymtl.ca:50795
ORCID
Date du dépôt:
18 avr. 2023 14:58
Dernière modification:
14 oct. 2026 14:07
Citer en APA 7:
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). https://doi.org/10.1002/cpe.6974
Statistiques
Dimensions
