共 50 条
- [23] Development cost and size estimation starting from high-level specifications PROCEEDINGS OF THE NINTH INTERNATIONAL SYMPOSIUM ON HARDWARE/SOFTWARE CODESIGN, 2001, : 86 - 91
- [24] Distributed Control of Robotic Swarms from Reactive High-level Specifications 2021 IEEE 17TH INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2021, : 1247 - 1254
- [25] Combinational verification based on high-level functional specifications DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS, 1998, : 803 - 808
- [26] Accomplishing high-level tasks with modular robots AUTONOMOUS ROBOTS, 2018, 42 (07) : 1337 - 1354
- [28] High-Level Context Information for Tasks in Teaching ADVANCES IN HUMAN FACTORS IN TRAINING, EDUCATION, AND LEARNING SCIENCES, AHFE 2017, 2018, 596 : 278 - 289
- [29] Learning high-level tasks through imitation 2006 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS, VOLS 1-12, 2006, : 3648 - +