Login / Signup
FTL-CFree: A Fuzzy Real-Time Language for Runtime Verification.
Joaquin Perez
Jaime Jimenez
Asier Rabanal
Armando Astarloa
Jesús Lázaro
Published in:
IEEE Trans. Ind. Informatics (2014)
Keyphrases
</>
real time
fuzzy sets
model checking
natural language
membership functions
fuzzy logic
low cost
fuzzy clustering
database systems
database
fuzzy rules
language learning
fuzzy numbers
control system
programming language
genetic algorithm
fuzzy controller
fuzzy systems
specification language