Modelling and formal specification of the real-time manufacturing automation protocol
- Garcia, Victor G.
- Vazquez, Enrique
- Vinyes, Joan
Actas:
Mediterranean Electrotechnical Conference - MELECON
Año de publicación: 1994
Volumen: 3
Tipo: Aportación congreso