Open AccessOn the Expressiveness of the Approach to Constructing PLC-programs by LTL-Specification
Author(s) -
Владимирович Кузьмин,
Александрович Рябухин,
Andrey Dmitrievich 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-2015-4-507-520
Subject(s) - programming language , computer science , correctness , turing machine , rewriting , description number , representation (politics) , universal turing machine , consistency (knowledge bases) , theoretical computer science , algorithm , artificial intelligence , politics , political science , law , computation