Publication | Open Access
Probabilistic guarded commands mechanized in HOL
71
Citations
8
References
2005
Year
EngineeringCommand And ControlProbabilistic VerificationAutomationVerificationFormal MethodsSystems EngineeringControl System SecurityComputer ScienceFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1