Publication | Closed Access
Provably dependable software architectures
19
Citations
1
References
1998
Year
Unknown Venue
Software MaintenanceEngineeringFormal MethodsSoftware EngineeringDependability AnalysisComputer ScienceSystem SoftwareDependable Software ArchitecturesDependable System ArchitectureSoftware AnalysisSoftware ArchitectureSoftware DesignFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1