Biblio

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is S and Author is Ye, Lina  [Clear All Filters]
2018
L. He, Ye, L., and Dague, P., SMT-based Diagnosability Analysis of Real-Time Systems, in SAFEPROCESS 2018 - 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Varsovie, Poland, 2018.