Design of WorldFIP's industrial communication systems based on formal methods

  1. Marino, Perfecto
  2. Dominguez, Miguel Angel
  3. Poza, Francisco
  4. Nogueira, Juan B.
Proceedings:
IEEE International Symposium on Industrial Electronics

Year of publication: 1999

Volume: 3

Pages: 1427-1432

Type: Conference paper