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.
Actes de conférence:
IEEE International Symposium on Industrial Electronics

Année de publication: 1999

Volumen: 3

Pages: 1427-1432

Type: Communication dans un congrès