Publication | Closed Access
Probabilistic Logic and the Synthesis of Reliable Organisms from Unreliable Components
1.7K
Citations
1
References
1956
Year
Unknown Venue
Probabilistic OntologyReliability EngineeringProbabilistic LogicEngineeringProbability LogicReliable OrganismsUncertainty QuantificationAutomated ReasoningProbabilistic SystemVerificationProbabilistic VerificationFormal MethodsSystems EngineeringComputer ScienceUnreliable ComponentsFormal VerificationDependability Modelling
| Year | Citations | |
|---|---|---|
Page 1
Page 1