Publicacións nas que colabora con 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