Markov processes; formal verification; health care; medical computing; open systems; probability; software reliability; CTMC model; FHIR standard; MDP; Markov decision process; PRISM; continuous time Markov chain; e-health system; failure probability assessment; fast health interoperable resources; formal reliability analysis; model checking; Analytical models; Markov processes; Medical services; Probabilistic logic; Probability; Reliability; Standards;
机译:开发下一代人力可靠性分析:正式药物人体可靠性的系统分析(Safphr)
机译:基于SSN传感器本体和HL7 FHIR标准集成的移动健康监测和治疗系统
机译:SAREF4Health:对基于IOT标准的本体驱动的心脏电子卫生系统
机译:棱镜典型FHIR标准电子卫生系统的正式可靠性分析
机译:开发下一代人力可靠性分析:正式药物人体可靠性的系统分析(Safph?)
机译:Shiny FHIR:利用Shiny R和HL7 FHIR增强基于标准的临床数据应用程序的集成框架
机译:网络物理系统的可靠性分析:基于IEC 61850标准的变电站
机译:通过正式分析和使用软件检查提高系统可靠性