Human Error, Safety and Systems Development
Springer Science & Business Media
Chapter title |
Formal Verification and Validation of Interactive Systems Specifications
|
---|---|
Chapter number | 5 |
Book title |
Human Error, Safety and Systems Development
|
Published by |
Springer, Boston, MA, January 2004
|
DOI | 10.1007/1-4020-8153-7_5 |
Book ISBNs |
978-1-4020-8152-1, 978-1-4020-8153-8
|
Authors |
Yamine Aït-Ameur, Benoit Breholée, Patrick Girard, Laurent Guittet, Francis Jambon, Aït-Ameur, Yamine, Breholée, Benoit, Girard, Patrick, Guittet, Laurent, Jambon, Francis |
Country | Count | As % |
---|---|---|
France | 1 | 17% |
Unknown | 5 | 83% |
Readers by professional status | Count | As % |
---|---|---|
Professor | 2 | 33% |
Student > Doctoral Student | 2 | 33% |
Other | 1 | 17% |
Student > Ph. D. Student | 1 | 17% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 4 | 67% |
Social Sciences | 1 | 17% |
Engineering | 1 | 17% |