Showing 1 - 10 results of 10 for search 'D. S. Ryabukhin', query time: 0.02s
Refine Results
-
1
Construction and Verification of PLC LD-programs by LTL-specification by E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin
Published 2013-01-01
Article -
2
Modeling a Consistent Behavior of PLC-Sensors by E. V. Kuzmin, D. A. Ryabukhin, V. A. Sokolov
Published 2014-08-01
Article -
3
ENTOMOPHAGY: ARE INSECTS SAFE FOR HUMAN FOOD? by M. A. Polubesova, M. V. Novikova (Zakharova), D. S. Ryabukhin
Published 2022-03-01
Article -
4
Construction and Verification of PLC-programs by LTL-specification by E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin
Published 2013-01-01
Article -
5
Construction of PLC IL-Programs by LTL-Specification by D. A. Ryabukhin, E. V. Kuzmin, V. A. Sokolov
Published 2014-04-01
Article -
6
Construction and Verification of PLC-programs by LTL-specification by E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin
Published 2013-08-01
Article -
7
Construction and Verification of PLC LD-programs by LTL-specification by E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin
Published 2013-12-01
Article -
8
Construction of CFC-programs by LTL-specification by D. A. Ryabukhin, E. V. Kuzmin, V. A. Sokolov
Published 2016-04-01
Article -
9
On the Expressiveness of the Approach to Constructing PLC-programs by LTL-Specification by E. V. Kuzmin, D. A. Ryabukhin, V. A. Sokolov
Published 2015-08-01
Article -
10