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

Ano de publicación: 2014

Volume: 8461 LNCS

Páxinas: 284-299

Tipo: Achega congreso

DOI: 10.1007/978-3-662-43613-4_18 GOOGLE SCHOLAR lock_openAcceso aberto editor
Fonte de datos: Scopus