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
Argitalpen urtea: 1997
Alea: 1231
Orrialdeak: 415-428
Mota: Biltzar ekarpena