Formal verification of complex properties on PLC programs

  1. Darvas, D.
  2. Fernández Adiego, B.
  3. Vörös, A.
  4. Bartha, T.
  5. Blanco Viñuela, E.
  6. González Suárez, V.M.
Colección de libros:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 1611-3349,  0302-9743

ISBN: 9783662436127

Año de publicación: 2014

Volumen: 8461 LNCS

Páginas: 284-299

Tipo: Aportación congreso

DOI: 10.1007/978-3-662-43613-4_18 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus