AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Valery A. Sokolov

Valery A. Sokolov

Yaroslavl State University - Yaroslavl / Russia
Engineering & Technology / Computer Science
AD Scientific Index ID: 4487780
Ярославский государственный университет
person_outline Valery A. Sokolov's MOST POPULAR ARTICLES
1-) On the expressiveness of the approach to constructing PLC-programs by LTL-specification Automatic Control and Computer Sciences 50 (7), 510-519, 2016
2-) On Construction and Verification of PLC-programs Modeling and analysis of information systems 19 (4), 25-36, 2015
3-) Construction and verification of PLC programs by LTL specification 2013 Tools & Methods of Program Analysis, 15-22, 2013
4-) Construction and Verification of PLC LD-programs by LTL-specification Modeling and analysis of information systems 20 (6), 78-94, 2013
5-) Modeling, Specification and Construction of PLC-programs Modeling and analysis of information systems 20 (2), 104-120, 2013