FTL-CFree: A fuzzy real-time language for runtime verification

  1. Perez, J.
  2. Jimenez, J.
  3. Rabanal, A.
  4. Astarloa, A.
  5. Lazaro, J.
Revista:
IEEE Transactions on Industrial Informatics

ISSN: 1551-3203

Año de publicación: 2014

Volumen: 10

Número: 3

Páginas: 1670-1683

Tipo: Artículo

DOI: 10.1109/TII.2014.2307531 GOOGLE SCHOLAR