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
Year of publication: 1997
Volume: 1231
Pages: 415-428
Type: Conference paper