Parametric Timed Model Checking for Guaranteeing Timed Opacity

机译：保证定时不透明度的参数定时模型检查

代理获取

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

页面导航

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

著录项

作者
Étienne André; Jun Sun;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Modeling single bus system with real-time constraints by Java and design methodology using parametric model checking [J] . Tomo Kitaguchi, Tadaaki Tanimoto, Akio Nakata, 電子情報通信学会技術研究報告. コンピュ-タシステム. Computer Systems . 2002,第478期

机译：通过Java和具有参数模型检查功能的设计方法对具有实时约束的单总线系统进行建模
2. Modeling single bus system with real-time constraints by Java and design methodology using parametric model checking [J] . Tomo Kitaguchi, Tadaaki Tanimoto, Akio Nakata, 電子情報通信学会技術研究報告. コンピュ-タシステム. Computer Systems . 2002,第478期

机译：使用参数模型检查使用Java和设计方法使用实时约束来建模单总线系统
3. Non-parametric estimation and model checking procedures for marginal gap time distributions for recurrent events. [J] . Kvist K, Gerster M, Andersen PK, Statistics in medicine . 2007,第30期

机译：非参数估计和模型检查程序，用于重复事件的边际间隔时间分布。
4. Parametric Timed Model Checking for Guaranteeing Timed Opacity [C] . Etienne Andre, Jun Sun International symposium on automated technology for verification and analysis . 2019

机译：参数定时模型检查以确保定时不透明度
5. Semi-parametric models for response times and response accuracy in computerized testing. [D] . Wang, Chun. 2012

机译：半参数模型，用于计算机测试中的响应时间和响应精度。
6. Developing a lifetime disease model from RCT data using parametric models with time-updated covariates [O] . Iryna Schlackow, Borislava Mihaylova 2013

机译：使用带有时间更新的协变量的参数模型从RCT数据开发终生疾病模型
7. A Benchmark Library for Parametric Timed Model Checking [O] . Étienne André 2019

机译：参数定时模型检查的基准库
8. Real-Time Symbolic Model Checking for Discrete Time Models [R] . Campos, S. V., Clarke, E. M. 1994

机译：离散时间模型的实时符号模型检验

Parametric Timed Model Checking for Guaranteeing Timed Opacity

著录项

引文网络

相似文献

相关主题

期刊订阅