Go home now Header Background Image
Submission Procedure
share: |
Follow us

Yannick Pencolé
CNRS, LAAS, France

Y. Pencolé, A. Subias:
A Chronicle-based Diagnosability Approach for Discrete Timed-event Systems: Application to Web-Services
page 3246 - 3272
Vol.15 / Issue 17
Y. Pencolé, A. Subias:
Formal Chronicle Analyses and Comparisons: How to Deal with Negative Behaviors
page 268 - 292
Vol.26 / Issue 2