DMCA
Developing High Assurance Avionics Systems With The SCR Requirements Method (2000)
by
R. Bharadwaj
,
C. Heitmeyer
| Citations: | 22 - 4 self |
BibTeX
@MISC{Bharadwaj00developinghigh,
author = {R. Bharadwaj and C. Heitmeyer},
title = {Developing High Assurance Avionics Systems With The SCR Requirements Method},
year = {2000}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This paper describes a framework, based on the SCR (Software Cost Reduction) requirements
