Formal specification applied to industrial LAN's design

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

ISSN: 1089-6503

ISBN: 9780818681295

Any de publicació: 1997

Pàgines: 215-221

Tipus: Aportació congrés

DOI: 10.1109/EURMIC.1997.617271 GOOGLE SCHOLAR