Consideración de aspectos temporales en la especificación de sistemas siguiendo el enfoque Teleo-Reactivo
- Álvarez Torres, María Bárbara 1
- Sánchez Palma, Pedro 1
- Rosique Contreras, María Francisca 1
- Alonso Cáceres, Diego 1
- Pastor Franco, Juan Ángel 1
-
1
Universidad Politécnica de Cartagena
info
Actes de conférence:
XVIII Jornadas de Tiempo Real (JTR 2015)
Année de publication: 2015
Type: Communication dans un congrès