1 research outputs found
Certifiably safe software-dependent systems: challenges and directions
- Author
- Barnes J.
- Charette R. N.
- DeLong R.
- Dion B.
- European Committee for Electrical Standardization (CENELEC). Railway applications - Communication
- Feiler P.
- Feiler P.
- Feliz E.
- Graydon Patrick J.
- Hagen C.
- Harel D.
- Hawkins R.
- Hawkins R.
- Hillebrand J.
- Holloway C. M.
- International Organization for Standardization
- International Organization for Standardization. Road Vehicles β Functional Safety
- International Organization for Standardization. Software Engineering β Software product Quality Requirements and Evaluation (SQuaRE) β Guide to SQuaRE
- Jackson D.
- Kelly T.
- Leveson N.
- Leveson N.
- Mathew
- McKenna E.
- Pohl K.
- Rushby J.
- Sandler K.
- Sydnor Russell
- Vincenti W. G.
- Wassyng A.
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study