Publication | Closed Access
Local proofs for global safety properties
41
Citations
13
References
2008
Year
Safety CaseEngineeringInformation SecurityVerificationSafety ScienceFormal MethodsComputer ScienceLocal ProofsProof SystemFormal VerificationData Security
| Year | Citations | |
|---|---|---|
Page 1
Page 1