Leire Etxeberria Elorza

Publication Activity (10 Years)

Years Active: 2013-2014
Publications (10 Years): 0

Top Topics

Safety Critical

Support Systems

Top Venues

Publications

Elena Gómez-Martínez, Ricardo J. Rodríguez, Leire Etxeberria Elorza, Miren Illarramendi Rezabal, Clara Benac Earle
Model-Based Verification of Safety Contracts. SEFM Workshops (2014)
Miren Illarramendi Rezabal, Leire Etxeberria Elorza, Xabier Elkorobarrutia Letona
Reuse in Safety Critical Systems: Educational Use Case First Experiences. EUROMICRO-SEAA (2014)
Miren Illarramendi Rezabal, Leire Etxeberria Elorza, Xabier Elkorobarrutia Letona
Reuse in Safety Critical Systems: Educational Use Case. EUROMICRO-SEAA (2013)