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.

  • 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

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: 2/25/23 8:41 AM