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
Année de publication: 1997
Volumen: 1231
Pages: 415-428
Type: Communication dans un congrès