Modelling and formal specification of the real-time manufacturing automation protocol
- Garcia, Victor G.
- Vazquez, Enrique
- Vinyes, Joan
Konferenzberichte:
Mediterranean Electrotechnical Conference - MELECON
Datum der Publikation: 1994
Ausgabe: 3
Art: Konferenz-Beitrag