D. Galán

According to our database1, D. Galán authored at least 3 papers between 1995 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Safety enforcement via programmable strategies in Maude.
J. Log. Algebraic Methods Program., April, 2023

Protocol Dialects as Formal Patterns.
Proceedings of the Computer Security - ESORICS 2023, 2023

1995
VHDL package for description of fuzzy logic controllers.
Proceedings of the Proceedings EURO-DAC'95, 1995


  Loading...