TY - SER AU - Ojeda Rodríguez,Pilar AU - Macías Jaén,Victoriano AU - Muñoz Aguilar,Miguel Ángel TI - Análisis del diseño y verificación de los sistemas instrumentados de seguridad PY - 2007/// CY - PB - ER -