Formal specification applied to industrial LAN's design

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

ISSN: 1089-6503

ISBN: 9780818681295

Année de publication: 1997

Pages: 215-221

Type: Communication dans un congrès

DOI: 10.1109/EURMIC.1997.617271 GOOGLE SCHOLAR