Communication protocols verification with Esterel

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

ISBN: 1-85312-385-4

Argitalpen urtea: 1996

Orrialdeak: 255-265

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

Mota: Biltzar ekarpena

GOOGLE SCHOLAR
Datuen iturria: WoS