Isabel Marquez, Miguel miguel.isabel@upm.es
Actividades
- Artículos 2
- Libros 0
- Capítulos de libro 0
- Congresos 0
- Documentos de trabajo 0
- Informes técnicos 0
- Proyectos de investigación 0
- Tesis dirigidas 0
- Patentes o licencias de software 0
Deadlock-Guided Testing.
- Miguel Gómez-Zamalloa, Miguel Isabel
(p. 46033-46048) - 1/1/2021
- iMarina
Actor-based model checking for Software-Defined Networks.
- Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel, Albert Rubio, Matteo Sammartino, Alexandra Silva
Journal Of Logical And Algebraic Methods In Programming, Volume 118 - 1/1/2021
- iMarina
Este/a investigador/a no tiene libros.
Este/a investigador/a no tiene capítulos de libro.
Este/a investigador/a no tiene congresos.
Este/a investigador/a no tiene documentos de trabajo.
Este/a investigador/a no tiene informes técnicos.
Este/a investigador/a no tiene proyectos de investigación.
Este/a investigador/a no tiene tesis dirigidas.
Este/a investigador/a no tiene patentes o licencias de software.
Grupos de investigación
Perfiles de investigador/a
- El/la investigador/a no tiene perfiles.