Título |
Plataforma CAD para el diseño de sistemas tiempo-real tolerantes a fallos modelados mediante redes de Petri : diseño de la herramienta de adición de redundancias para una verificación basada en códigos lineales / realizado por M. Pilar Velilla Marco ; dirigido por José Manuel Colom Piazuelo |
|