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.
Journal:
IEEE Transactions on Industrial Informatics

ISSN: 1551-3203

Year of publication: 2014

Volume: 10

Issue: 3

Pages: 1670-1683

Type: Article

DOI: 10.1109/TII.2014.2307531 GOOGLE SCHOLAR
Data source: Scopus