Formal specification applied to industrial LAN's design

  1. Marino, P.
  2. Poza, F.
  3. Dominguez, M.
  4. Nogueira, J.
Aktak:
Conference Proceedings of the EUROMICRO

ISSN: 1089-6503

ISBN: 9780818681295

Argitalpen urtea: 1997

Orrialdeak: 215-221

Mota: Biltzar ekarpena

DOI: 10.1109/EURMIC.1997.617271 GOOGLE SCHOLAR
Datuen iturria: Scopus