Alexandre Montplaisir, Naser Ezzati-Jivan, Florian Wininger et Michel Dagenais
Communication écrite (2013)
Un lien externe est disponible pour ce documentDépartement: | Département de génie informatique et génie logiciel |
---|---|
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 |
Date du dépôt: | 18 avr. 2023 15:10 |
Dernière modification: | 05 avr. 2024 10:53 |
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