Login / Signup
Best Practices in Code Inspection for Safety-Critical Software.
Jorge Rady de Almeida Jr.
João Batista Camargo Jr.
Bruno Abrantes Basseto
Sérgio Miranda Paz
Published in:
IEEE Softw. (2003)
Keyphrases
</>
safety critical
formal methods
regulatory requirements
safety analysis
embedded systems
fault tolerant
nuclear power plant
agent architecture
support systems
source code
adaptive systems
control system
low cost
software engineering
software systems
software development
fault model
software intensive systems