Diseño y análisis formal de sistemas de software
FADOSS
University of Ferrara
Ferrara, ItaliaPublications en collaboration avec des chercheurs de University of Ferrara (1)
2017
-
Evaluation of temporal datasets via interval temporal logic model checking
Leibniz International Proceedings in Informatics, LIPIcs