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.
Book Series:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 1611-3349,  0302-9743

ISBN: 9783662436127

Year of publication: 2014

Volume: 8461 LNCS

Pages: 284-299

Type: Conference paper

DOI: 10.1007/978-3-662-43613-4_18 GOOGLE SCHOLAR lock_openOpen access editor
Data source: Scopus