Jiménez Martí, Alejandro(Universitat Politècnica de València, 2023-09-27)
[EN] This project describes the extension effort of PLEXIL5, a PLEXIL formal interpreter specified in the rewriting logic engine Maude, to achieve higher degrees of correctness and completeness with respect to the PLEXIL ...
Barreal, Jesús; Loureiro, María; Picos, Juan(Universitat Politècnica de València, 2012-05-08)
[EN] The goal of this research is to analyze the importance of the main factors contributing to the occurrence of wildfires in Galicia. The econometric models are specified taking into account as a dependent variable the ...