首页> 外文OA文献 >Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications

【2h】

Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications

机译：将CCSL嵌入动态逻辑：验证CCSL规范的逻辑方法

代理获取

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

页面导航

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

著录项

作者
Yuanrui Zhang; Hengyang Wu; Yixiang Chen; Frédéric Mallet;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems [J] . Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Science of Computer Programming . 2021,第Mara1期

机译：基于时钟的动态逻辑，用于验证同步系统中的CCSL规范
2. A clock-based dynamic logic for schedulability analysis of CCSL specifications [J] . Yuanrui Zhang, Frederic Mallet, Huibiao Zhu, Science of Computer Programming . 2021,第Feba1期

机译：基于时钟的动态逻辑，用于CCSL规范的调度分析
3. A verification framework for spatio-temporal consistency language with CCSL as a specification language [J] . Frontiers of computer science in China . 2020,第1期

机译：CCSL作为规范语言的时空一致性语言的验证框架
4. Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL [C] . Gascon Regis, Mallet Frederic, Deantoni Julien 2011 18th International Symposium on Temporal Representation and Reasoning . 2011

机译：逻辑时间和时间逻辑：比较UML MARTE / CCSL和PSL
5. A Platform-Based Approach to Verification and Synthesis of Linear Temporal Logic Specifications [D] . Iannopollo, Antonio. 2018

机译：一种基于平台的线性时序逻辑规范验证和综合方法
6. A Logic-Based Psychotherapy Approach to Treating Patients Which Focuses on Faultless Logical Functioning: A Case Study Method [O] . Fernando Almeida, Diana Moreira -1

机译：一种基于逻辑的心理治疗方法来治疗专注于无故障逻辑功能的患者：一种案例研究方法
7. Logical time and temporal logics: Comparing UML MARTE/CCSL and PSL [O] . Gascon R., Mallet Frédéric, Deantoni Julien 2011

机译：逻辑时间和时间逻辑：比较UML MARTE / CCSL和PSL

Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications

著录项

引文网络

相似文献

相关主题

期刊订阅