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

ISSN: 1611-3349,  0302-9743

ISBN: 9783662436127

Année de publication: 2014

Volumen: 8461 LNCS

Pages: 284-299

Type: Communication dans un congrès

DOI: 10.1007/978-3-662-43613-4_18 GOOGLE SCHOLAR lock_openAccès ouvert editor
La source de données: Scopus