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.

  • Albert, Elvira
  • Gomez-Zamalloa, Miguel
  • Isabel, Miguel
  • Rubio, Albert
  • Sammartino, Matteo
  • Silva, Alexandra

Journal Of Logical And Algebraic Methods In Programming, Volume 118 - 1/1/2021

10.1016/j.jlamp.2020.100617 Ver en origen

  • ISSN 15678326

Deadlock-Guided Testing.

  • Gomez-Zamalloa, Miguel
  • Isabel, Miguel

Ieee Access (p. 46033-46048) - 1/1/2021

10.1109/access.2021.3065421 Ver en origen

  • ISSN 21693536

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: 28/08/24 9:37