Critical system

Related papers: 3

Top Researchers

Jérémie Guiochet

Institution: —

David Powell

Institution: —

Jean-Paul Blanquart

Institution: —

Matthieu Roy

Institution: —

John Knight

Institution: —

Darrell Kienzle

Institution: —

Amina Mekki-Mokhtar

Institution: —

N.R. Saxena

Institution: —

Saurabh Hukerikar

Institution: —

Atieh Lotfi

Institution: —

Top Cited Papers

Preliminary Experience Using Z to Specify a Safety-Critical System

John Knight, Darrell Kienzle

Citations: 17 • 1993

Safety Trigger Conditions for Critical Autonomous Systems

Amina Mekki-Mokhtar, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Matthieu Roy

Citations: 14 • 2012

Optimizing Large-Scale Fault Injection Experiments through Martingale Hypothesis: A Systematic Approach for Reliability Assessment of Safety-Critical Systems

Saurabh Hukerikar, Atieh Lotfi, Yanxiang Huang, Jason H. Campbell, N.R. Saxena

Citations: 2 • 2024

Related Technologies

Computer scienceProcess (computing)PhysicsEngineeringProgramming languageSoftwareBusinessSoftware engineeringRisk analysis (engineering)Systems engineering