condescend 发表于 2025-3-26 22:47:15

http://reply.papertrans.cn/88/8709/870856/870856_31.png

Memorial 发表于 2025-3-27 02:23:21

Robot Accident Investigation: A Case Study in Responsible Robotics,ccident investigation, a framework that proposes both the technology and processes that would allow social robot accidents to be investigated with no less rigour than we expect of air or rail accident investigations. The chapter also places accident investigation within the practice of responsible r

单纯 发表于 2025-3-27 06:15:28

,Verification of Autonomous Robots: A Roboticist’s Bottom-Up Approach,ss existing well-known formal V&V frameworks (UPPAAL, BIP, FIACRE-TINA). Gen oM was originally developed by roboticists and software engineers who wanted to clearly and precisely specify how a reusable, portable, middleware-independent, functional component should be specified and implemented. As a

SLUMP 发表于 2025-3-27 13:24:15

http://reply.papertrans.cn/88/8709/870856/870856_34.png

resistant 发表于 2025-3-27 13:36:32

http://reply.papertrans.cn/88/8709/870856/870856_35.png

Contort 发表于 2025-3-27 18:52:13

Kerstin Eder die mathematisch besonders interessierten Leser...Die Themen Elemente der komplexen Funktionentheorie, gewöhnliche und partielle Differentialgleichungen, Variationsrechnung, Fourierreihen und Fouriertransforma978-3-540-48767-8978-3-540-48768-5Series ISSN 0937-7433 Series E-ISSN 2512-5214

同时发生 发表于 2025-3-27 23:03:24

http://reply.papertrans.cn/88/8709/870856/870856_37.png

态度暖昧 发表于 2025-3-28 05:14:15

http://reply.papertrans.cn/88/8709/870856/870856_38.png

圆柱 发表于 2025-3-28 09:53:57

d practitioners with all levels of experience interested in working in the area of robotics, and software engineering more generally. The chapters are all self-contained, include explanations of the core concep978-3-030-66496-1978-3-030-66494-7

用树皮 发表于 2025-3-28 13:12:36

http://reply.papertrans.cn/88/8709/870856/870856_40.png
页: 1 2 3 [4] 5 6
查看完整版本: Titlebook: Software Engineering for Robotics; Ana Cavalcanti,Brijesh Dongol,Jim Woodcock Book 2021 Springer Nature Switzerland AG 2021 Software Engin