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. González Suárez, V.M.
Actas:
Advances in the Astronautical Sciences

ISSN: 0065-3438

ISBN: 9783902823618

Año de publicación: 2014

Volumen: 12

Páginas: 394-399

Tipo: Aportación congreso

GOOGLE SCHOLAR
Fuente de los datos: Scopus