Login / Signup
Asier Rabanal
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Specification Language
Fuzzy Numbers
Model Checking
Low Cost
Top Venues
IEEE Trans. Ind. Informatics
</>
Publications
</>
Joaquin Perez
,
Jaime Jimenez
,
Asier Rabanal
,
Armando Astarloa
,
Jesús Lázaro
FTL-CFree: A Fuzzy Real-Time Language for Runtime Verification.
IEEE Trans. Ind. Informatics
10 (3) (2014)