Applying model checking to industrial-sized PLC programs

  1. Adiego, B.F.
  2. Darvas, D.
  3. Viñuela, E.B.
  4. Tournier, J.-C.
  5. Bliudze, S.
  6. Blech, J.O.
  7. Suárez, V.M.G.
Revista:
IEEE Transactions on Industrial Informatics

ISSN: 1551-3203

Año de publicación: 2015

Volumen: 11

Número: 6

Páginas: 1400-1410

Tipo: Artículo

DOI: 10.1109/TII.2015.2489184 GOOGLE SCHOLAR
Fuente de los datos: Scopus