Publication | Closed Access
Turing-like indistinguishability tests for the validation of a computer simulation of paranoid processes
149
Citations
5
References
1972
Year
Turing MachineCognitive ScienceEngineeringComputational TestingAutomated ReasoningSoftware TestingVerificationProbabilistic VerificationFormal MethodsSoftware AnalysisComputer ScienceTestabilityModel VerificationFormal VerificationStatisticsTuring-like Indistinguishability TestsParanoid ProcessesComputer Simulation
| Year | Citations | |
|---|---|---|
Page 1
Page 1