Safety Case Verification is the systematic process of confirming that a safety case conforms to its specified requirements and correctly represents the intended safety arguments, evidence, and assumptions in accordance with established standards and regulatory expectations.
5
Publications
111
Citations
13
Authors
7
Institutions
Publications per year
2017–2026
1
Parents
Publications
5
A New Linear Platoon Model Based on Reactive Multi-agent Systems
Madeleine El Zaher, Franck Gechter, Pablo Gruer et al. · 2011 · 22 citations
Formal Foundations for Hierarchical Safety Cases
Ewen Denney, Ganesh Pai, Iain Whiteside · 2015 · 21 citations · Full text
1–5 of 5
Authors
13
- ED
2
h-index
- GP
2
h-index
- AK
1
h-index
- YL
1
h-index
- IH
1
h-index
1–5 of 13
Institutions
7
Ames Research Center
Mountain View, United States
2 h-index
4 publications
92 citations
Netherlands Organisation for Applied Scientific Research
Delft, The Netherlands
1 h-index
1 publications
14 citations
Eindhoven University of Technology
Eindhoven, The Netherlands
1 h-index
2 publications
28 citations
Université de Technologie et de Sciences Appliquées Libano-Française
Tripoli, Lebanon
1 h-index
1 publications
22 citations
Newcastle University
Newcastle upon Tyne, United Kingdom
1 h-index
1 publications
21 citations
University of York
York, United Kingdom
1 h-index
2 publications
58 citations
Université de technologie de belfort-montbéliard
Belfort, France
1 h-index
3 publications
66 citations
1–7 of 7
Venues
- Journal of Systems Architecture
JSA · 1 publications · 14 citations
1
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 1 publications · 29 citations
1
h-index
1–2