Design of WorldFIP's industrial communication systems based on formal methods
- Marino, Perfecto
- Dominguez, Miguel Angel
- Poza, Francisco
- Nogueira, Juan B.
Proceedings:
IEEE International Symposium on Industrial Electronics
Year of publication: 1999
Volume: 3
Pages: 1427-1432
Type: Conference paper