 | Monter d'un niveau |
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. Lien externe
