Alexandre Montplaisir, Naser Ezzati-Jivan, Florian Wininger and Michel Dagenais
Paper (2013)
An external link is available for this item| Department: | Department of Computer Engineering and Software Engineering |
|---|---|
| ISBN: | 9783642407871 |
| PolyPublie URL: | https://publications.polymtl.ca/13394/ |
| Conference Title: | 4th International Conference on Runtime Verification (RV 2013) |
| Conference Location: | Rennes, France |
| Conference Date(s): | 2013-09-24 - 2013-09-27 |
| Publisher: | Springer-Verlag |
| DOI: | 10.1007/978-3-642-40787-1_13 |
| Official URL: | https://doi.org/10.1007/978-3-642-40787-1_13 |
| Date Deposited: | 18 Apr 2023 15:10 |
| Last Modified: | 08 Apr 2025 12:20 |
| Cite in APA 7: | Montplaisir, A., Ezzati-Jivan, N., Wininger, F., & Dagenais, M. (2013, September). Efficient model to query and visualize the system states extracted from trace data [Paper]. 4th International Conference on Runtime Verification (RV 2013), Rennes, France. https://doi.org/10.1007/978-3-642-40787-1_13 |
|---|---|
Statistics
Dimensions
