CSPJade: Architectural driven development of complex embedded system software using a CSP paradigm based generation tool code

  1. Escámez, A.A.
  2. Bengazhi, K.
  3. Holgado, J.A.
  4. Capel, M.I.
Actas:
Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006 - In Conjunction with ICEIS 2006

ISBN: 9789728865498

Año de publicación: 2006

Páginas: 128-133

Tipo: Aportación congreso