Work

Formal Verification of Complex Properties on PLC Programs

Year: 2014

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-662-43613-4_18

Authors: Dániel Darvas, Borja Fernández Adiego, András Vörös, Tamás Bartha, Enrique Blanco Viñuela, Víctor M. González Suárez

Institutions: European Organization for Nuclear Research, Budapest University of Technology and Economics, HUN-REN Institute for Computer Science and Control, Hungarian Academy of Sciences, Universidad de Oviedo

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W6618575

FWCI: 3.391

Cites: 16

Cited by: 30

Related to: 10