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

ISSN: 1611-3349,  0302-9743

ISBN: 9783662436127

Datum der Publikation: 2014

Ausgabe: 8461 LNCS

Seiten: 284-299

Art: Konferenz-Beitrag

DOI: 10.1007/978-3-662-43613-4_18 GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus