Design of WorldFIP's industrial communication systems based on formal methods
- Marino, Perfecto
- Dominguez, Miguel Angel
- Poza, Francisco
- Nogueira, Juan B.
Actas:
IEEE International Symposium on Industrial Electronics
Ano de publicación: 1999
Volume: 3
Páxinas: 1427-1432
Tipo: Achega congreso