Login / Signup
D. Galán
Publication Activity (10 Years)
Years Active: 1995-2023
Publications (10 Years): 2
Top Topics
Formal Analysis
Interesting Patterns
Real World
Database
Top Venues
J. Log. Algebraic Methods Program.
ESORICS (2)
</>
Publications
</>
D. Galán
,
Víctor García
,
Santiago Escobar
,
Catherine A. Meadows
,
José Meseguer
Protocol Dialects as Formal Patterns.
ESORICS (2)
(2023)
María Alpuente
,
Demis Ballis
,
Santiago Escobar
,
D. Galán
,
Julia Sapiña
Safety enforcement via programmable strategies in Maude.
J. Log. Algebraic Methods Program.
132 (2023)
D. Galán
,
Carlos Jesús Jiménez-Fernández
,
Angel Barriga
,
Santiago Sánchez-Solano
VHDL package for description of fuzzy logic controllers.
EURO-DAC
(1995)