Research and Application of Embedded Control Software Security Design by DAI Jisheng, WANG Chengjie, LI Yi, CHEN Junbo, LI Cheng

Subjects: Get full text

FUNCTIONAL ASPECTS REGARDING MOBILE ROBOTS ON WHEELS AND CRAWLER BELTS by Ovidiu ANTONESCU, Mariana TROFIMESCU, Daniela ANTONESCU

Subjects: Get full text

Research on rapid deployment for command and control software based on container technology by MEN Hongshuan, LI Zhaorui, GUO Baofeng, YIN Wenlong

Subjects: “…command and control software|container technology|microservice|docker|kubernetes…”
Get full text

Design of industrial robot performance testing device based on ECMA servo motor and PLC control software by Xue Hou

Subjects: Get full text

Quantitative characterization of topographic defects of semiconductor silicon wafers by S. F. Sianko, A. S. Sianko, V. A. Zelenin

Subjects: Get full text

Simplification Design of the Control Software for Auxiliary Converter by GAO Lulu, YAN Zhiyong, LUO Guoyong, ZENG Minggao

Subjects: Get full text

Toward a Holistic Framework for Robotic Assessment: A Survey on Performance, Software, and Environmental Adaptability by Daniel M. Muepu, Yutaka Watanobe, Keitaro Naruse

Subjects: Get full text

Implementation of integrated design systems in the learning process by A. V. Petukhov

Subjects: Get full text

Requirement patterns in deductive verification of poST Programs by Ivan M. Chernenko, Igor S. Anureev, Natalia O. Garanina

Subjects: Get full text

Discussion of Software Testing for Basic Control Software in LKJ System by LONG Hai-quan, HE Xie-zhen, TAN Qi, ZHANG Jia-huan

Subjects: Get full text

Model checking programs in process-oriented IEC 61131-3 Structured Text by Natalia O. Garanina, Sergey M. Staroletov, Vladimir E. Zyubin, Igor S. Anureev

Subjects: “…control software…”
Get full text

Application of the Orthogonal Test in Basic Control Software Testing for LKJ Device by JIANG Jian, SHANGGUAN Xianan, HE Xiezhen

Subjects: Get full text

Knowledge Driven Synthesis Using Resource-Capability Semantics for Control Software Design by Amar Banerjee, Venkatesh Choppella

Subjects: Get full text

Pattern-based approach to automation of deductive verification of process-oriented programs: patterns, lemmas and algorithms by Ivan M. Chernenko, Igor S. Anureev

Subjects: Get full text

Operational Semantics of Annotated Reflex Programs by Igor S. Anureev

Subjects: Get full text

Development of a Software Package Architecture for Simulation and Prototyping of Radar Systems and Complexes by I. S. Serdiukov

Subjects: Get full text

Intelligent Trajectory Planning for Autonomous Vehicles via Adaptive Model Predictive Control by Catarina Goncalves, M. do Rosario Calado, Nuno Pombo

Subjects: Get full text

LTL-specification for development and verification of control programs by Maxim V. Neyzov, Egor V. Kuzmin

Subjects: “…control software…”
Get full text

Verification of declarative LTL-specification of control programs behavior by Maxim V. Neyzov, Egor V. Kuzmin

Subjects: “…control software…”
Get full text

LTL-specification for development and verification of logical control programs in feedback systems by Maxim V. Neyzov, Egor V. Kuzmin

Subjects: “…control software…”
Get full text