Open AccessModeling, Specification and Construction of PLC-programs
Author(s) -
E. V. Kuzmin,
Valery A. Sokolov
Publication year - 2015
Publication title -
modelirovanie i analiz informacionnyh sistem
Language(s) - English
Resource type - Journals
eISSN - 2313-5417
pISSN - 1818-1015
DOI - 10.18255/1818-1015-2013-2-104-120
Subject(s) - variable (mathematics) , correctness , programming language , computer science , linear temporal logic , value (mathematics) , linear programming , constructive , temporal logic , model checking , mathematics , algorithm , process (computing) , mathematical analysis , machine learning