Go home now Header Background Image
Search
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
/jucs_15_17/a_chronicle_based_diagnosability
page 3246 - 3272
Vol.15 / Issue 17
Y. Pencolé, A. Subias:
Formal Chronicle Analyses and Comparisons: How to Deal with Negative Behaviors
/jucs_26_2/formal_chronicle_analyses_and
page 268 - 292
Vol.26 / Issue 2