高可信软件
Ahighconfidencesystemisonethat
behavesinawellunderstoodand
predictablefashionItmustwithstand
maliciousattacksaswellasnaturally
occurringhazardsandmustnotcauseor
contributetoaccidentsorunacceptable
lossesTheHCSSresearchdescribedinthis
WhitePaperfocusesonthe
下载地址
用户评论
