首页> 外文OA文献 >Formal verification of spacecraft control programs (experience report)

【2h】

Formal verification of spacecraft control programs (experience report)

机译：宇宙飞船控制计划的正式验证（经验报告）

代理获取

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

页面导航

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

著录项

作者
Andrey Mokhov; Georgy Lukyanov; Jakob Lechner;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A Formal Verification Methodology for DDD Mode Pacemaker Control Programs [J] . Sana Shuja, Sudarshan K. Srinivasan, Shaista Jabeen, Journal of electrical and computer engineering . 2015,第期

机译：DDD模式起搏器控制程序的形式验证方法
2. A Formal Verification Methodology for DDD Mode Pacemaker Control Programs [J] . SanaShuja, Sudarshan K.Srinivasan, ShaistaJabeen, Journal of Electrical and Computer Engineering . 2015,第1期

机译：DDD模式起搏器控制程序的形式验证方法
3. Formal verification of programs specified with signal f application to a power transformer station controller [J] . H. Marchand, E. Rutten, M. Le Borgne Science of Computer Programming . 2001,第1期

机译：对用信号f指定的程序进行形式化验证，并将其应用到变电站控制器
4. Formal Verification of an Industrial Distributed Algorithm: An Experience Report [C] . Nikolai Kosmatov, Delphine Longuet, Romain Soulat International symposium on leveraging applications of formal methods, verification and validation . 2020

机译：正式验证工业分布式算法：经验报告
5. Spacecraft Attitude Control Program: A spacecraft attitude determination and control simulation program. [D] . Rajagopalan, Murlidhar. 1996

机译：航天器姿态控制程序：航天器姿态确定和控制模拟程序。
6. Bourdieu and programming classes for the disadvantaged: a review of current practice as reported online—implications for non-formal coding classes in Bali [O] . Laurence Tamatea, Gusti Agung Ayu Mas Pramitasari -1

机译：弱势群体的布迪厄和编程班：在线报道的当前实践回顾—对巴厘岛非正规编码班的启示
7. Formal verification of programs specified with signal: application to a power transformer station controller [O] . Marchand, Hervé, Rutten, Éric, Le Borgne, Michel, 2001

机译：对信号指定程序的形式验证：应用于变电站控制器

Formal verification of spacecraft control programs (experience report)

著录项

引文网络

相似文献

相关主题

期刊订阅