Travelled to:
1 × Spain
Collaborated with:
E.Navarro P.Sánchez D.Alonso
Talks about:
reactiv (1) system (1) specif (1) requir (1) extens (1) teleo (1) star (1)
Person: José Miguel Morales
DBLP: Morales:Jos=eacute=_Miguel
Contributed to:
Wrote 1 papers:
- SAC-2015-MoralesNSA #named #requirements #specification
- TRiStar: an i* extension for teleo-reactive systems requirements specifications (JMM, EN, PS, DA), pp. 283–288.