Modelling and formal verification of timing aspects in large PLC programs

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

ISSN: 1474-6670

ISBN: 9783902823625

Año de publicación: 2014

Volumen: 19

Páginas: 3333-3339

Tipo: Aportación congreso

GOOGLE SCHOLAR
Fuente de los datos: Scopus