Bilatu
4-tik 1-4 emaitza erakusten
Model driven Hardware-in-the-Loop Fault analysis of railway traction systems
(IEEE, 2017)
Classical Dependability Analysis techniques, such as Failure Mode and Effects Analysis (FMEA) and Fault Tree Analysis, have been used during the last decades to demonstrate the reliability, availability, maintainability ...
CRESCO Framework and Checker: Automatic Generation of Reflective UML State Machine's C++ Code and Checker
(IEEE, 2020)
Software Systems are becoming increasingly complex leading to new Validation & Verification challenges. Model checking and testing techniques are used at development time while runtime verification aims to verify that a ...
Lehen Hezkuntzako ikasleen segurtasun digitala: eskaerak eta konpromisoak #Izandig proiektuaren baitan
(Udako Euskal Unibertsitatea (UEU), 2021)
Internet egungo haur zein nerabeen bizitzaren bizkarrezur bilakatu da. Sareak eskaintzen
dizkien abantailak ugariak dira, baina arriskuak ere baditu. Online ekintza batzuen ondorioek
haur eta nerabeen ongizatea kaltetu ...
Shielded Reinforcement Learning: A review of reactive methods for safe learning
(IEEE, 2023)
Reinforcement Learning (RL) algorithms are showing promising results in simulated environments, but their replication in real physical applications, even more so in safety-critical applications, is not yet guaranteed. ...