Informatica (slovenia) · 1995 · 10 citations · 0 references
EngineeringComputer EngineeringComputer ScienceEmbedded SystemsFault-tolerant SystemsReal-time SystemsDependability AnalysisModel CheckingReal-time Systems ArchitectureReal-time Systems DesignReliable System DesignSafety-critical SystemsHigh-integrity Embedded SystemsIntegrityReal-time RequirementsReal-time System ModelsReal-time Systems ModelingReal-time Systems VerificationTemporal Predictability