首页> 外文OA文献 >Specifying Safety Monitors for Autonomous Systems Using Model-Checking

【2h】

Specifying Safety Monitors for Autonomous Systems Using Model-Checking

机译：使用模型检查指定自治系统的安全监视器

代理获取

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

页面导航

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

摘要

International audience

机译：国际观众

著录项

作者
Mathilde Machin; Fanny Dufossé; Jean-Paul Blanquart; Jérémie Guiochet; David Powell; Hélène Waeselynck;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Safety performance monitoring of autonomous marine systems [J] . Thieme Christoph A., Utne Ingrid B. Reliability Engineering & System Safety . 2017,第MARa期

机译：自主船舶系统的安全性能监控
2. An Autonomous Alarm System for Personal Safety Assurance of Intimate Partner Violence Survivors Based on Passive Continuous Monitoring through Biosensors [J] . International journal of applied mechanics . 2020,第3期

机译：基于被动连续监测通过生物传感器的亲密合作伴者幸存者的个人安全保障自主警报系统
3. An IoT-based autonomous system for workers' safety in construction sites with real-time alarming, monitoring, and positioning strategies [J] . Kanan Raid, Elhassan Obaidallah, Bensalem Rofaida Automation in construction . 2018,第APRa期

机译：基于IoT的自治系统，可通过实时警报，监视和定位策略保护建筑工地工人的安全
4. Specifying Safety Monitors for Autonomous Systems Using Model-Checking [C] . Mathilde Machin, Fanny Dufosse, Jean-Paul Blanquart, International conference on computer safety, reliability, and security . 2014

机译：使用模型检查为自治系统指定安全监视器
5. A Quantitative Study of Human Trust in the Safety-Critical Systems of Autonomous Vehicles Using the Safety-Critical Technology Acceptance Model [D] . Gresham, John. 2021

机译：使用安全关键技术验收模型对自治车辆安全关键系统的人体信任的定量研究
6. Editorial: Autonomous Health Monitoring and Assistance Systems With IoT [O] . George Azzopardi, Dimka Karastoyanova, Marco Aiello, 2021

机译：编辑：具有物联网的自主健康监测与援助系统
7. SMOF - A Safety MOnitoring Framework for Autonomous Systems [O] . Machin, Mathilde, Guiochet, Jérémie, Waeselynck, Hélène, 2016

机译：SMOF-自治系统的安全监视框架

Specifying Safety Monitors for Autonomous Systems Using Model-Checking

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅