Formal specification applied to industrial LAN's design

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

ISSN: 1089-6503

ISBN: 9780818681295

Ano de publicación: 1997

Páxinas: 215-221

Tipo: Achega congreso

DOI: 10.1109/EURMIC.1997.617271 GOOGLE SCHOLAR
Fonte de datos: Scopus