Especificación y verificación formal de software de aplicación en sistemas de control paralelos y distribuidos de tiempo-real y en plataformas de cómputo para comunicaciones de altas prestaciones.
846/cms/places/merengue_content_info/74/846/?lang=es37.1972071956-3.6250236995Verificación de software asistido por ordenador /media/merengue/img/map/default_map_icon.png1