Publicacions en què col·labora amb Pedro José Sanchez García (1)

2015

  1. TRiStar: An i∗ extension for Teleo-Reactive systems requirements specifications

    Proceedings of the ACM Symposium on Applied Computing