Aldama Medina, Claudia Daniela(Universitat Politècnica de València, 2021-10-07)
[ES] El desarrollo de este trabajo fin de grado tiene como objetivo automatizar el modelado de un protocolo con tiempo real en Maude-NPA. Se define una sintaxis nueva para procesos con tiempo junto con transformaciones ...
Ferrari, Laura D.(Universitat Politècnica de València, 2019-12-28)
[EN] Reflecting critically on the criteria that have led grammars of different theoretical approaches to distinguish types of subordinate sentences is one of the general objectives of this article. Traditionally, subordinate ...