Risultati della ricerca - Jaime Cuartas

  • Mostra 1 - 2 risultati su 2
Raffina i risultati
  1. 1
    Copertina

    A Formal Framework for the Explanation of Finite Automata Decisions Autoría: Granada, Jaime Cuartas, Ignatiev, Alexey, Stuckey, Peter J.

    Pubblicazione 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  2. 2
    Copertina

    MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real‐Time Model‐Based Systems Autoría: Jaime Cuartas, David Cortés, Joan Betancourt, Jesús Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre‐Yves Schobbens

    Pubblicazione 2024
    Fuente: Wiley Open Access
    Tipo de material: Artículo Open Access
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: