Work

Model Checking Process-oriented Iec 61131-3 Structured Text Programs

Year: 2023

Type: article

Abstract: Model Checking Programs in Process-Oriented IEC 61131-3 Structured Text Garanina N.O.(Institute of Automation and

Source: System Informatics

DOI: 10.31144/si.2307-6410.2023.n22.p21-30

Authors: Natalia Garanina, Sergey Staroletov, Vladimir Zyubin, Igor Anureev

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W4388044598

FWCI: 0.716

Cites: 6

Cited by: 4

Related to: 10