Utilizing parametric systems for detection of pipeline hazards

Lukás Charvát, Ales Smrcka, Tomás Vojnar. Utilizing parametric systems for detection of pipeline hazards. STTT, 24(1):1-28, 2022. [doi]

Abstract

Abstract is missing.