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

ISSN: 1611-3349,  0302-9743

ISBN: 9783662436127

Argitalpen urtea: 2014

Alea: 8461 LNCS

Orrialdeak: 284-299

Mota: Biltzar ekarpena

DOI: 10.1007/978-3-662-43613-4_18 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus