<  Retour au portail Polytechnique Montréal

Interactive and targeted runtime verification using a debugger-based architecture

Paul Naert, Seyed Vahid Azhari et Michel Dagenais

Article de revue (2021)

Un lien externe est disponible pour ce document
Département: Département de génie informatique et génie logiciel
URL de PolyPublie: https://publications.polymtl.ca/46985/
Titre de la revue: Journal of Systems Architecture (vol. 115)
Maison d'édition: Elsevier
DOI: 10.1016/j.sysarc.2021.102001
URL officielle: https://doi.org/10.1016/j.sysarc.2021.102001
Date du dépôt: 18 avr. 2023 15:00
Dernière modification: 18 avr. 2023 15:00
Citer en APA 7: Naert, P., Azhari, S. V., & Dagenais, M. (2021). Interactive and targeted runtime verification using a debugger-based architecture. Journal of Systems Architecture, 115, 10 pages. https://doi.org/10.1016/j.sysarc.2021.102001

Statistiques

Dimensions

Actions réservées au personnel

Afficher document Afficher document