Modelling and formal specification of the real-time manufacturing automation protocol
- Garcia, Victor G.
- Vazquez, Enrique
- Vinyes, Joan
Actes de conférence:
Mediterranean Electrotechnical Conference - MELECON
Année de publication: 1994
Volumen: 3
Type: Communication dans un congrès