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)
Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024).. Volume 2
by:
(Electronic resources)
Subjects