Alexandre Montplaisir, Naser Ezzati-Jivan, Florian Wininger and Michel Dagenais
Paper (2013)
An external link is available for this itemDepartment: | Department of Computer Engineering and Software Engineering |
---|---|
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: | 25 Sep 2024 15:50 |
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