Filtro
Contribución a la conferencia

Resultados de la búsqueda

  • 2023

    Statistical Model Checking for P

    Durán, F., Pozas, N., Ramírez, C. & Rocha, C., 2023, Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Proceedings. Cimatti, A. & Titolo, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 40-56 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14290 LNCS).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

  • 2022

    Executable Semantics and Type Checking for Session-Based Concurrency in Maude

    Ramírez Restrepo, C. A. & Pérez, J. A., 2022, Rewriting Logic and Its Applications - 14th International Workshop, WRLA 2022, Revised Selected Papers. Bae, K. (ed.). Springer Science and Business Media Deutschland GmbH, p. 230-250 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13252 LNCS).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    1 Cita (Scopus)
Su mensaje fue enviado correctamente.
Su mensaje no fue enviado debido a un error.