Modelling and formal specification of the real-time manufacturing automation protocol
- Garcia, Victor G.
- Vazquez, Enrique
- Vinyes, Joan
Aktak:
Mediterranean Electrotechnical Conference - MELECON
Argitalpen urtea: 1994
Alea: 3
Mota: Biltzar ekarpena