Computer Safety, Reliability, and Security
Springer International Publishing
Chapter title |
SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration
|
---|---|
Chapter number | 22 |
Book title |
Computer Safety, Reliability, and Security
|
Published by |
Springer, Cham, September 2016
|
DOI | 10.1007/978-3-319-45477-1_22 |
Book ISBNs |
978-3-31-945476-4, 978-3-31-945477-1
|
Authors |
Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini, Askarpour, Mehrnoosh, Mandrioli, Dino, Rossi, Matteo, Vicentini, Federico |
Country | Count | As % |
---|---|---|
Unknown | 28 | 100% |
Readers by professional status | Count | As % |
---|---|---|
Student > Ph. D. Student | 6 | 21% |
Student > Master | 4 | 14% |
Other | 2 | 7% |
Researcher | 2 | 7% |
Professor | 1 | 4% |
Other | 3 | 11% |
Unknown | 10 | 36% |
Readers by discipline | Count | As % |
---|---|---|
Engineering | 8 | 29% |
Computer Science | 7 | 25% |
Nursing and Health Professions | 1 | 4% |
Medicine and Dentistry | 1 | 4% |
Biochemistry, Genetics and Molecular Biology | 1 | 4% |
Other | 0 | 0% |
Unknown | 10 | 36% |