Communication protocols verification with Esterel

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

ISBN: 1-85312-385-4

Datum der Publikation: 1996

Seiten: 255-265

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

Art: Konferenz-Beitrag

GOOGLE SCHOLAR
Fuente de los datos: WoS