Publication | Closed Access
A framework for dependability engineering of critical computing systems
22
Citations
15
References
2002
Year
Software MaintenanceReliability EngineeringEngineeringFormal MethodsSoftware AnalysisSoftware EngineeringSystems EngineeringDependability EngineeringComputer ScienceCritical SystemDependable System ArchitectureFormal VerificationSystem SoftwareSoftware DesignDependability Analysis
| Year | Citations | |
|---|---|---|
Page 1
Page 1