首页> 外文OA文献 >Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach

【2h】

Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach

机译：使用Observer Automata验证和监控UML模型：无转换方法

代理获取

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

页面导航

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

著录项

作者
Valentin Besnard; Ciprian Teodorov; Frederic Jouault; Matthias Brun; Philippe Dhaussy;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Towards a Transformation Approach of Timed UML MARTE Specifications for Observer-Based Formal Verification [J] . Menad Nadia, Dhaussy Philippe, Drey Zoé, Computing and informatics . 2016,第2期

机译：迈向基于观察者的形式验证的定时UML MARTE规范的转换方法
2. TOWARDS A TRANSFORMATION APPROACH OF TIMED UML MARTE SPECIFICATIONS FOR OBSERVER-BASED FORMAL VERIFICATION [J] . Menad Nadia, Dhaussy Philippe, Drey Zoe, Computing and informatics . 2016,第2期

机译：面向基于观察者的形式化验证的定时UML标记规范的转换方法
3. A logic-based approach for the verification of UML timed models [J] . Baresi Luciano, Morzenti Angelo C., Motta Alfredo, ACM transactions on software engineering and methodology . 2017,第2期

机译：基于逻辑的UML定时模型验证方法
4. MODELING AND VERIFICATION OF DYNAMIC BEHAVIOR IN UML MODELS: A GRAPH TRANSFORMATION APPROACH [C] . Elhillali Kerkouche, Allaoua Chaoui, El Bay Bourennane, 18th international conference on software engineering and data engineering 2009 . 2009

机译：UML模型中动态行为的建模和验证：一种图形变换方法
5. Framework for automatic verification of UML design models: Application to UML 2.0 interactions. [D] . Lima, Vitor Nunes de. 2010

机译：用于自动验证UML设计模型的框架：应用于UML 2.0交互。
6. Query Monitoring and Analysis for Database Privacy - A Security Automata Model Approach [O] . Anand Kumar, Jay Ligatti, Yi-Cheng Tu -1

机译：数据库隐私的查询监视和分析-一种安全性自动机模型方法
7. A Logic-Based Approach for the Verification of UML Timed Models [O] . Luciano Baresi, Angelo Morzenti, Alfredo Motta, 2017

机译：基于逻辑的逻辑方法，用于验证UML定时模型
8. Verifying Hybrid Systems Modeled as Timed Automata: A Case Study. [R] . Archer, M., Heitmeyer, C. 1997

机译：验证模拟为定时自动机的混合系统：案例研究。

Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach

著录项

引文网络

相似文献

相关主题

期刊订阅