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

ISSN: 1551-3203

Datum der Publikation: 2014

Ausgabe: 10

Nummer: 3

Seiten: 1670-1683

Art: Artikel

DOI: 10.1109/TII.2014.2307531 GOOGLE SCHOLAR
Datenquelle: Scopus