Diseño y análisis formal de sistemas de software
FADOSS
University of Ferrara
Ferrara, ItaliaPublikationen in Zusammenarbeit mit Forschern von University of Ferrara (1)
2017
-
Evaluation of temporal datasets via interval temporal logic model checking
Leibniz International Proceedings in Informatics, LIPIcs