首页> 外文OA文献 >Design Time and Run Time Formal Safety Analysis using Executable Models

【2h】

Design Time and Run Time Formal Safety Analysis using Executable Models

机译：使用可执行模型设计时间和运行时正式安全性分析

代理获取

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

页面导航

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

著录项

作者
Habermaier Axel;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formal and Executable Specification of Random Waypoint Mobility Model Using Timed Coloured Petri Nets for WMN [J] . NaeemAkhtar Khan, FarooqAhmad, Sher AfzalKhan Abstract and applied analysis . 2014,第4期

机译：WMN定时彩色Petri网的随机航点移动性模型的形式化和可执行性规范
2. Formal and Executable Specification of Random Waypoint Mobility Model Using Timed Coloured Petri Nets for WMN [J] . NaeemAkhtar Khan, FarooqAhmad, Sher AfzalKhan Abstract and applied analysis . 2014,第10期

机译：WMN定时彩色Petri网的随机航点移动性模型的形式化和可执行性规范
3. Formal model-based quantitative safety analysis using timed Coloured Petri Nets [J] . Wu Daohua, Zheng Wei Reliability Engineering & System Safety . 2018,第auga期

机译：使用定时有色Petri网的基于形式模型的定量安全性分析
4. Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications [C] . #x0E9, Sakurai Kohei, Bokor P, IEEE High Assurance Systems Engineering Symposium . 2008

机译：通过使用可执行的正式规范，帮助模块化设计和验证安全关键时断系统
5. Combining semi-formal and formal notations in software specification: An approach to modelling time-constrained systems. [D] . Dascalu, Sergiu-Mihai. 2001

机译：在软件规范中结合半正式和正式的符号：一种建模时间受限系统的方法。
6. Accounting for confounding by time early intervention adoption and time-varying effect modification in the design and analysis of stepped-wedge designs: application to a proposed study design to reduce opioid-related mortality [O] . Lior Rennert, Moonseong Heo, Alain H. Litwin, 2021

机译：通过时间早期干预采用和时变效果改造的核对楔形设计的设计和分析：应用于提出的研究设计以降低表征相关的死亡率
7. Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications ∗ [O] . Kohei Sakurai 2009

机译：通过使用可执行的正式规范帮助安全关键时间触发系统的模块化设计和验证*

Design Time and Run Time Formal Safety Analysis using Executable Models

著录项

引文网络

相似文献

相关主题

期刊订阅