Publication | Closed Access
RDPS: A Software Package for the Validation and Evaluation of Dependable Computer Systems
12
Citations
1
References
1986
Year
EngineeringVerificationSoftware EngineeringDependable System ArchitectureFormal VerificationSoftware AnalysisReliability EngineeringSystems EngineeringDependability AnalysisRuntime VerificationSoftware ValidationComputer EngineeringComputer ScienceSoftware VerificationProgram AnalysisSoftware TestingFormal MethodsDependable Computer SystemsSystem SoftwareSoftware Package
| Year | Citations | |
|---|---|---|
Page 1
Page 1