| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Technology and Assessment of Safety-Critical Systems: Proceedings of the Second Safety-Critical Systems Symposium: Birmingham, Uk 8-10 February 199 | 978-O-387-19859-O (O-387-19859-8) | 1994 | England) Safety-Critical Systems Symposium 1994 (Birmingham · Felix Redmill |