|
|
Volumn 294, Issue 6, 2006, Pages 68-75
|
|
Dependable software by design
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTER PRIVACY;
COMPUTER SIMULATION;
ENCODING (SYMBOLS);
FINANCIAL DATA PROCESSING;
INTEGRATED CIRCUITS;
MACHINE DESIGN;
MARKETING;
ONCOLOGY;
PUBLIC KEY CRYPTOGRAPHY;
SECURITY OF DATA;
TELECOMMUNICATION;
BANKING;
HACKERS;
MODEL CHECKING;
TELEPHONY;
SOFTWARE ENGINEERING;
ARTICLE;
COMPUTER PROGRAM;
EQUIPMENT;
HUMAN;
NEOPLASM;
QUALITY CONTROL;
STANDARD;
EQUIPMENT FAILURE;
EQUIPMENT FAILURE ANALYSIS;
HUMANS;
NEOPLASMS;
QUALITY CONTROL;
SOFTWARE;
|
|
EID: 33744530654
PISSN: 00368733
EISSN: None
Source Type: Journal
DOI: 10.1038/scientificamerican0606-68 Document Type: Review |
|
Times cited : (29)
|
|
References (0)
|
