Listar Kongresuak-Ingeniaritza por publicado en "Computer Safety, Reliability, and Security. SAFECOMP 2017"
Mostrando ítems 1-1 de 1
-
Increasing dependability in Safety Critical CPSs using Reflective Statecharts
(Springer, 2017)Dependability is crucial in Safety Critical Cyber Physical Systems (CPS). In spite of the research carried out in recent years, implementation and certification of such systems remain costly and time consuming. In this ...