Software for dependable systems sufficient evidence? /
I tiakina i:
| Ngā kaituhi rangatōpū: | , |
|---|---|
| Ētahi atu kaituhi: | , , |
| Hōputu: | Tāhiko īPukapuka |
| Reo: | Ingarihi |
| I whakaputaina: |
Washington, D.C. :
National Academies Press,
c2007.
|
| Ngā marau: | |
| Urunga tuihono: | An electronic book accessible through the World Wide Web; click to view |
| Ngā Tūtohu: |
Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!
|
Ngā tūemi rite: Software for dependable systems
- Building reliable component-based software systems
- Software testing techniques finding the defects that matter /
- Software error detection through testing and analysis
- New trends in software methodologies, tools and techniques proceedings of Lyee-W02 /
- Software and systems safety specification and verification /
- Software system reliability and security