FTL-CFree: A Fuzzy Real-Time Language for Runtime Verification

Joaquin Perez, Jaime Jimenez, Asier Rabanal, Armando Astarloa, Jesús Lázaro. FTL-CFree: A Fuzzy Real-Time Language for Runtime Verification. IEEE Trans. Industrial Informatics, 10(3):1670-1683, 2014. [doi]

Abstract

Abstract is missing.