Communication protocols verification with Esterel

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

ISBN: 1-85312-385-4

Any de publicació: 1996

Pàgines: 255-265

Congrés: 2nd International Conference on Software Engineering in Higher Education (SEHE 95)

Tipus: Aportació congrés

GOOGLE SCHOLAR
Fuente de los datos: WoS