Software engineering for robotics / Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock, editors.
The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics and regulation. In terms of techniques, there are results on model-based engineering, product lines, mission specification, component-based...
Full description
Saved in:
Bibliographic Details
| Other Authors: |
Cavalcanti, Ana
(Editor),
Dongol, Brijesh
(Editor),
Hierons, Robert M.
(Editor),
Timmis, Jonathan, 1970-
(Editor),
Woodcock, Jim
(Editor) |
|---|
| Format: | eBook
|
|---|
| Language: | English |
|---|
| Published: |
Cham :
Springer,
2021.
|
|---|
| Subjects: | |
|---|
| Online Access: | Click for online access
|
|---|