Biblio

Export 1 results:
Author Title Type [ Year(Desc)]
Filters: Author is He, Lulu  [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.