Communication dans un congrès, LaHDAK, Intelligence artificielle

SMT-based Diagnosability Analysis of Real-Time Systems

Lulu He, Lina Ye, Philippe Dague. SMT-based Diagnosability Analysis of Real-Time Systems. SAFEPROCESS 2018 - 10th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes, Aug 2018, Varsovie, Poland. ⟨hal-01818316⟩

Publié le