削减 发表于 2025-3-25 05:15:00

http://reply.papertrans.cn/88/8709/870809/870809_21.png

Corroborate 发表于 2025-3-25 08:21:38

Conference proceedings 2020ngineering and Formal Methods, SEFM 2019. ..The 13 full papers presented together with 7 short papers in this volume were carefully reviewed and selected from a total of 45 submissions. They stem from the following workshops:..CoSim-CPS 2019 – 3rd International Workshop on Formal Co-Simulation of Cy

拖网 发表于 2025-3-25 12:46:30

http://reply.papertrans.cn/88/8709/870809/870809_23.png

Libido 发表于 2025-3-25 18:37:04

Towards Reuse of Synchronization Algorithms in Co-simulation Frameworksiding different degrees of flexibility. The most flexible integration level involves the specification of a Domain Specific Language (DSL) for Master Algorithms (MAs), and this paper sketc.hes such a DSL, and illustrates how it is expressive enough to describe well-known MAs.

CLOT 发表于 2025-3-25 21:45:34

http://reply.papertrans.cn/88/8709/870809/870809_25.png

尽管 发表于 2025-3-26 01:46:59

http://reply.papertrans.cn/88/8709/870809/870809_26.png

纤细 发表于 2025-3-26 08:18:01

http://reply.papertrans.cn/88/8709/870809/870809_27.png

不能和解 发表于 2025-3-26 08:31:55

http://reply.papertrans.cn/88/8709/870809/870809_28.png

窒息 发表于 2025-3-26 16:39:59

http://reply.papertrans.cn/88/8709/870809/870809_29.png

支柱 发表于 2025-3-26 19:19:52

Cognitive Learning with a Robot: The Case of Script Acquisitionr. This paper presents the proposed system—a human-robot interaction application designed to assist primary school children in learning a new script and its associated handwriting. The system was deployed in a series of experiments where children increase their knowledge of the new script when practicing handwriting with a robot.
页: 1 2 [3] 4 5 6
查看完整版本: Titlebook: Software Engineering and Formal Methods; SEFM 2019 Collocated Javier Camara,Martin Steffen Conference proceedings 2020 Springer Nature Swit