existential compliance; i*; model generation and verification; remote healthcare design;
机译:通过智能手机电池优化提高远程医疗保健系统的合规性
机译:OMDP用于远程医疗系统中糖尿病患者诊断和治疗的基于本体的模型
机译:通过模型检查验证基于规则的专家系统中的冲突和不可达性
机译:验证远程医疗保健系统中存在的存在关系规则的模型
机译:对医疗保健实体和商业伙伴遵守HIPAA安全统治的感知可能性有助于感知的因素的调查
机译:戒烟的新型远程生化验证方法:参与者依从性的预测因子
机译:在process-aware信息系统中设计和验证可实例化的合规性规则图