Alexandre Montplaisir, Naser Ezzati-Jivan, Florian Wininger et Michel Dagenais
Communication écrite (2013)
Un lien externe est disponible pour ce document| Département: | Département de génie informatique et génie logiciel |
|---|---|
| ISBN: | 9783642407871 |
| 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: | 08 avr. 2025 12:20 |
| 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
