首页> 外文OA文献 >Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification.

【2h】

Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification.

机译：迈向经过验证的人工胰腺：运行时验证面临的挑战和解决方案。

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Fraser Cameron; Georgios Fainekos; David M. Maahs;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Catheter locking solution spillage: theory and experimental verification. [J] . Polaschegg HD Blood purification . 2008,第3期

机译：导管锁定液溢出：理论和实验验证。
2. A survey of challenges for runtime verification from advanced application domains (beyond software) [J] . Sanchez Cesar, Schneider Gerardo, Ahrendt Wolfgang, Formal Methods in System Design . 2019,第3期

机译：来自高级应用程序域（软件之外）的运行时验证挑战的调查
3. Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software) [J] . Sanchez Cesar, Schneider Gerardo, Ahrendt Wolfgang, Formal Methods in System Design . 2019,第1期

机译：纠正：从高级应用域（超越软件）的运行时验证挑战调查
4. Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification [C] . Fraser Cameron, Georgios Fainekos, David M. Maahs, International conference on runtime verification . 2015

机译：迈向经过验证的人工胰腺：运行时验证的挑战和解决方案
5. Data-Driven Modeling and Verification for Artificial Pancreas Systems [D] . Kushner, Taisa Sima. 2020

机译：人工胰腺系统的数据驱动建模与验证
6. Artificial Pancreas Systems and Physical Activity in Patients with Type 1 Diabetes: Challenges Adopted Approaches and Future Perspectives [O] . Sémah Tagougui, Nadine Taleb, Joséphine Molvau, 2019

机译：1型糖尿病患者的人工胰腺系统和身体活动：挑战采用方法和未来的观点
7. Runtime verification. RV 2016 : lecture notes in computer science [O] . Attard, Duncan Paul, Francalanza, Adrian 2016

机译：运行时验证。 RV 2016：计算机科学讲义
8. Challenges in High-Assurance Runtime Verification. [R] . Goodloe, A. E. 2016

机译：高保证运行时验证面临的挑战。

Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification.

著录项

引文网络

相似文献

相关主题

期刊订阅