An integrated modeling, verification, and code generation for uncrewed aerial systems: less cost and more efficiency
Uncrewed Aerial Systems (UASs) are widely implemented in safety-critical fields such as industrial production, military operations, and disaster relief. Due to the diversity and complexity of implementation scenarios, UASs have become increasingly intricate. The challenge of designing and implementi...
Đã lưu trong:
| Những tác giả chính: | , , , , |
|---|---|
| Định dạng: | Artigo |
| Ngôn ngữ: | Inglês |
| Được phát hành: |
PeerJ Inc.
2025-01-01
|
| Loạt: | PeerJ Computer Science |
| Những chủ đề: | |
| Truy cập trực tuyến: | https://peerj.com/articles/cs-2575.pdf |
| Các nhãn: |
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|