Robots - Congresses. - Programming
Overview
| Works: | 6 works in 6 publications in 6 languages | |
|---|---|---|
Titles
Leveraging applications of formal methods, verification and validation = foundational techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.. Part I /
by:
(Electronic resources)
Leveraging applications of formal methods, verification and validation = discussion, dissemination, applications : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016 : proceedings.. Part II /
by:
(Electronic resources)
Intelligent robotics and applications = 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023 : proceedings.. Part II /
by:
(Electronic resources)
Subjects