RDF/XML JSON-LD N3/Turtle RDF/JSON

Isabel Marquez, Miguel miguel.isabel@upm.es

LENGUAJES Y SISTEMAS INFORMÁTICOS E INGENIERÍA DE SOFTWARE / Universidad Politécnica de Madrid

Actividades

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

Deadlock-Guided Testing.

  • Miguel Gómez-Zamalloa, Miguel Isabel

(p. 46033-46048) - 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.

  • El/la investigador/a no tiene perfiles.
Última actualización de los datos: 25/02/23 8:41