Efficient model to query and visualize the system states extracted from trace data

Montplaisir, Alexandre; Ezzati-Jivan, Naser; Wininger, Florian; Dagenais, Michel; Montplaisir, Alexandre; Ezzati-Jivan, Naser; Wininger, Florian; Dagenais, Michel

Efficient model to query and visualize the system states extracted from trace data

Alexandre Montplaisir, Naser Ezzati-Jivan, Florian Wininger, Michel Dagenais

Communication écrite (2013)

Accéder à ce document

Lien externe

Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel

Voir chez l'éditeur officiel

Département:

Département de génie informatique et génie logiciel

ISBN:

9783642407871

Adresse URL de PolyPublie:

https://publications.polymtl.ca/13394/

Nom de la conférence:

4th International Conference on Runtime Verification (RV 2013)

Lieu de la conférence:

Rennes, France

Date(s) de la conférence:

2013-09-24 - 2013-09-27

Maison d'édition:

Springer-Verlag

DOI:

10.1007/978-3-642-40787-1_13

URL officielle:

https://doi.org/10.1007/978-3-642-40787-1_13

OAI:

oai:publications.polymtl.ca:13394

ORCID

Date du dépôt:

18 avr. 2023 15:10

Dernière modification:

14 oct. 2026 11:14

Citer en APA 7:

Montplaisir, A., Ezzati-Jivan, N., Wininger, F., & Dagenais, M. (septembre 2013). Efficient model to query and visualize the system states extracted from trace data [Communication écrite]. 4th International Conference on Runtime Verification (RV 2013), Rennes, France. https://doi.org/10.1007/978-3-642-40787-1_13

Statistiques

Dimensions

Actions réservées au personnel

Afficher document