Pereda, María; Zamarreño, Jesús M.(Universitat Politècnica de València, 2015-07-10)
[ES] El modelado basado en agentes (ABM, Agent Based Modeling) es una técnica de modelado que está siendo explotada con gran éxito en áreas como la ecología, ciencias sociales, economía, etc. Sin embargo, su uso como técnica ...
Aparicio Sánchez, Damián(Universitat Politècnica de València, 2022-12-23)
[ES] La herramienta criptográfica Maude-NPA es un verificador de modelos especializado para protocolos de seguridad criptográficos que tienen en cuenta las propiedades algebraicas de un sistema criptográfico. En la literatura, ...