Publication | Closed Access

Performability analysis of computer systems: from model specification to solution

EngineeringProgram AnalysisSystem SpecificationVerificationPerformability AnalysisFormal MethodsSoftware EngineeringSystems EngineeringDependability AnalysisComputer ScienceSystem Performance AnalysisSystem CharacteristicDependable System ArchitectureSoftware AnalysisSystem SoftwareSoftware DesignFormal Verification