Bringing automated model checking to PLC program development - A CERN case study

  1. Adiego, B.F.
  2. Darvas, D.
  3. Tournier, J.-C.
  4. Viñuela, E.B.
  5. Suárez, V.M.G.
Actas:
IFAC Proceedings Volumes (IFAC-PapersOnline)

ISSN: 1474-6670

Año de publicación: 2014

Volumen: 9

Número: 3

Páginas: 394-399

Tipo: Aportación congreso

DOI: 10.3182/20140514-3-FR-4046.00051 GOOGLE SCHOLAR
Fuente de los datos: Scopus