Consideración de aspectos temporales en la especificación de sistemas siguiendo el enfoque Teleo-Reactivo

  1. Álvarez Torres, María Bárbara 1
  2. Sánchez Palma, Pedro 1
  3. Rosique Contreras, María Francisca 1
  4. Alonso Cáceres, Diego 1
  5. Pastor Franco, Juan Ángel 1
  1. 1 Universidad Politécnica de Cartagena
    info

    Universidad Politécnica de Cartagena

    Cartagena, España

    ROR https://ror.org/02k5kx966

Actas:
XVIII Jornadas de Tiempo Real (JTR 2015)

Año de publicación: 2015

Tipo: Aportación congreso

GOOGLE SCHOLAR