Specification and verification of a real-time field bus with formal description languages
- Mariño, P.
- Poza, F.
- Domínguez, M.
- Nogueira, J.
ISSN: 1611-3349, 0302-9743
ISBN: 9783540630104
Ano de publicación: 1997
Volume: 1231
Páxinas: 415-428
Tipo: Achega congreso