Valero Martín, Carmen(Universitat Politècnica de València, 2023-10-24)
[ES] El objetivo del TFG es el análisis y priorización de las propuestas de subvención de una cartera de proyectos industriales. Para ello en primer lugar se describen y analizan los principales programas de subvenciones ...
Llorens Agost, María Luisa; Oliver Villarroya, Javier; Silva Galiana, Josep Francesc; Tamarit Muñoz, Salvador(Springer Verlag (Germany), 2011)
The CSP language allows the specification and verification of complex concurrent systems. Many analyses for CSP exist that have been successfully applied in different industrial projects. However, the cost of the analyses ...