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.
Col·lecció de llibres:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ISSN: 1611-3349,  0302-9743

ISBN: 9783662436127

Any de publicació: 2014

Volum: 8461 LNCS

Pàgines: 284-299

Tipus: Aportació congrés

DOI: 10.1007/978-3-662-43613-4_18 GOOGLE SCHOLAR lock_openAccés obert editor
Font de les dades: Scopus