Loading...
Please wait, while we are loading the content...
Similar Documents
Establishing Formal Regulatory Requirements for Safety-Critical Software Certification (2002)
| Content Provider | CiteSeerX |
|---|---|
| Author | Vilkomir, Sergiy A. Bowen, Jonathan P. |
| File Format | |
| Language | English |
| Publisher Date | 2002-01-01 |
| Publisher Institution | Proceedings of AQuIS 2002: 5th International Conference on Achieving Quality In Software and SPICE 2002: 2nd International Conference on Software Process Improvement and Capability Determination, Venice, Palazzo Papafava, 13–15 March 2002 |
| Access Restriction | Open |
| Subject Keyword | Formal Regulatory Requirement Computer System Specification Safety-critical Software Certification Formal Method |
| Content Type | Text |
| Resource Type | Article |