Formal Verification of the NASA Runway Safety Monitor

机译：NASA跑道安全监控器的正式验证

代理获取

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

页面导航

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

著录项

作者
Radu I. Siminiceanu; Gianfranco Ciardo;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formal Verification Of The Nasa Runway Safety Monitor [J] . Radu I, Siminiceanu, Gianfranco Ciardo International Journal on Software Tools for Technology Transfer . 2007,第1期

机译：美国国家航空航天局跑道安全监控器的正式验证
2. A Monitor Generation Method for Formal Monitor-Based Verification Considering Input Constraints [J] . Yosuke Kakiuchi, Akira Kitajima, Kiyoharu Hamaguchi, Electronics and Communications in Japan . 2007,第12期

机译：考虑输入约束的基于正式监控器的监控器生成方法
3. GEOMATIC TECHNIQUES FOR MONITORING AND VERIFYING OF THE WEAR CONDITION OF THE RUNWAYS OF THE BRIDGE CRANES [J] . D. Costantino, M. Pepe, V. Alfio, International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences . 2019,第4期

机译：用于监测和验证桥式起重机跑道磨损条件的乔木技术
4. A Formal Compositional Verification Approach for Safety-Critical Systems Correctness: Model-Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software [C] . Manuel I. Capel, Luis E. Mendoza Morales International Conference on Enterprise Information Systems . 2012

机译：安全关键系统正确性的正式组建验证方法：基于模型检查的方法方法，可自动验证安全关键系统软件
5. Formal verification techniques for safety critical medical device software control. [D] . Shuja, Sana. 2016

机译：用于安全关键医疗设备软件控制的正式验证技术。
6. Interventional lifestyle and self-management trials: A double-edged sword. Is it time to mandate formal data and safety monitoring? [O] . Neil J Greening, Tom JC Ward 2020

机译：干预生活方式和自我管理试验：一把双刃剑。是时候要求正式数据和安全监控了吗？
7. Formal Verification of the NASA Runway Safety Monitor [O] . Siminiceanu Radu I., Ciardo Gianfranco 2005

机译：NASA跑道安全监控器的正式验证

Formal Verification of the NASA Runway Safety Monitor

著录项

引文网络

相似文献

相关主题

期刊订阅