Formal specification applied to industrial LAN's design

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

ISSN: 1089-6503

ISBN: 9780818681295

Year of publication: 1997

Pages: 215-221

Type: Conference paper

DOI: 10.1109/EURMIC.1997.617271 GOOGLE SCHOLAR
Data source: Scopus