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

Publications

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 View at source

  • ISSN 15678326

Deadlock-Guided Testing.

  • Gomez-Zamalloa, Miguel
  • Isabel, Miguel

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

10.1109/access.2021.3065421 View at source

  • ISSN 21693536

This researcher has no books.

This researcher has no book chapters.

This researcher has no conferences.

This researcher has no working papers.

This researcher has no technical reports.

This researcher has no research projects.

This researcher has no supervised thesis.

This researcher has no patents or software licenses.

  • This researcher does not have any profiles.
Last data update: 8/28/24 9:37 AM