Publication | Closed Access
A brief account of runtime verification
797
Citations
35
References
2008
Year
Program CheckingEngineeringRuntime VerificationProgram AnalysisSoftware TestingVerificationFormal MethodsComputer ScienceFormal VerificationSoftware AnalysisSystem SoftwareSoftware Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1