options
search icon
email icon
ES
rrss gif icons
twitter icon
linkedin icon youtube icon

Tesis doctorales

shape

Línea de investigación

Año

Certificates for Decision Problems in Temporal Logic using Context-Based Tableaux and Sequent Calculi

Privacy-Driven E2E Data Exchange for Value Chains

Development of methodologies to analyse the performance of pitch bearing raceways under fretting wear damage

High-Power Density DC-DC Converter for More Electric Aircraft

Novel approaches for IoT and Embedded Device Fuzzing and its Evaluation

close overlay