首页> 外文OA文献 >Real-Time System Modeling and Verification Through Labeled Transition System Analyzer

【2h】

Real-Time System Modeling and Verification Through Labeled Transition System Analyzer

机译：通过标记过渡系统分析仪的实时系统建模与验证

代理获取

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

页面导航

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

著录项

作者
Yilong Yang; Quan Zu; Wei Ke; Miaomiao Zhang; Xiaoshan Li;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Using Maximality-Based Labeled Transition System Model for Concurrency Logic Verification [J] . Maryam Madani, Shadpour Mallakpour The international arab journal of information technology . 2004,第3期

机译：使用基于最大值的标记过渡系统模型进行并发逻辑验证
2. Modeling and Verifying Hierarchical Real-Time Systems Using Stateful Timed CSP [J] . JUN SUN, YANG LIU, JIN SONG DONG, ACM transactions on software engineering and methodology . 2013,第1期

机译：使用状态定时CSP建模和验证分层实时系统
3. Support for Early Verification of Embedded Real-Time Systems through UML Models Simulation [J] . Marco A. Wehrmeister, Joao G. Packer, Luis M. Ceron Operating systems review . 2012,第1期

机译：通过UML模型仿真支持嵌入式实时系统的早期验证
4. A unifying framework for model checking labeled kripke structures, modal transition systems, and interval transition systems [C] . Michael Huth Conference on foundations of software technology and theoretical computer science;FSTTCS . 1999

机译：用于检查标记的kripke结构，模态转换系统和区间转换系统的模型的统一框架
5. Modeling and verification of real-time and cyber-physical systems [D] . Saeedloei, Neda 2011

机译：实时和网络物理系统的建模和验证
6. Applicability of a real-time PCR system to verify labelling compliance of nut allergens in chocolates [O] . J Costa, MBPP Oliveira, I Mafra 2013

机译：实时PCR系统适用于验证巧克力中坚果过敏原的标签符合性
7. A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems, and Interval Transition Systems [O] . Michael Huth 1999

机译：模型检查的统一框架标记的Kripke结构，模态转换系统和区间转换系统

Real-Time System Modeling and Verification Through Labeled Transition System Analyzer

著录项

引文网络

相似文献

相关主题

期刊订阅