Diseño y análisis formal de sistemas de software
FADOSS
University of Ferrara
Ferrara, ItaliaUniversity of Ferrara-ko ikertzaileekin lankidetzan egindako argitalpenak (1)
2017
-
Evaluation of temporal datasets via interval temporal logic model checking
Leibniz International Proceedings in Informatics, LIPIcs