Diseño y análisis formal de sistemas de software
FADOSS
University of Ferrara
Ferrara, ItaliaPublicaciones en colaboración con investigadores/as de University of Ferrara (1)
2017
-
Evaluation of temporal datasets via interval temporal logic model checking
Leibniz International Proceedings in Informatics, LIPIcs