Communication protocols verification with Esterel

  1. Gil, JG
  2. Ferro, MV
  3. Bernhard, R
Libro:
SOFTWARE ENGINEERING IN HIGHER EDUCATION II
  1. Uso, JL (coord.)
  2. Mitic, P (coord.)
  3. Sucharov, LJ (coord.)

ISBN: 1-85312-385-4

Año de publicación: 1996

Páginas: 255-265

Congreso: 2nd International Conference on Software Engineering in Higher Education (SEHE 95)

Tipo: Aportación congreso