Zerrendatu honen arabera: non argitaratua "Lecture Notes in Computer Science"

1-tik 1-1 emaitza erakusten

Using Runtime Information of Controllers for Safe Adaptation at Runtime: A Process Mining Approach

da Silva, Jorge; Illarramendi, Miren; Iriarte, Asier (Springer Nature, 2023)

The increasing complexity of current Software Systems is generating the urge to find new ways to check the correct functioning of models during runtime. Runtime verification helps ensure that a system is working as expected ...