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

Any de publicació: 2014

Volum: 10

Número: 3

Pàgines: 1670-1683

Tipus: Article

DOI: 10.1109/TII.2014.2307531 GOOGLE SCHOLAR
Font de les dades: Scopus