مؤتمر
Formal Specification of an Autonomous Vehicle Group Control System with the Hybrid OTS/CafeOBJ Method
| العنوان: | Formal Specification of an Autonomous Vehicle Group Control System with the Hybrid OTS/CafeOBJ Method |
|---|---|
| المؤلفون: | Wang, Yifan, Nakamura, Masaki, Sakakibara, Kazutoshi |
| المصدر: | 2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE) CSCE Computer Science, Computer Engineering, & Applied Computing (CSCE), 2023 Congress in. :2169-2176 Jul, 2023 |
| Relation: | 2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
| ردمك: | 9798350327595 9798350327588 |
|---|---|
| DOI: | 10.1109/CSCE60160.2023.00355 |