Live and let die: LSC based verification of UML models

机译：生死攸关：基于LSC的UML模型验证

代理获取

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

页面导航

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

著录项

作者
Damm Werner; Westphal Bernd;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Live and let die: LSC based verification of UML models [J] . Werner Damm, Bernd Westphal Science of Computer Programming . 2005,第1a3期

机译：生死攸关：基于LSC的UML模型验证
2. 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定时模型验证方法
3. Modeling and Verification for Track Circuit Encoding in Train Control Center Based on UML and TA [J] . Lei Yuan, Lijuan Wang, Dewang Chen, Journal of software . 2014,第10期

机译：基于UML和TA的列车控制中心轨道电路编码建模与验证
4. Live and Let Die: LSC-Based Verification of UML-Models [C] . Werner Damm, Bernd Westphal International symposium on formal methods for composnents and objects . 2003

机译：生活和死亡：基于LSC的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. The UMLS Knowledge Source Server : An Object Model For Delivering UMLS Data [O] . Anantha Bangalore, Karen E. Thorn, Carolyn Tilley, 2003

机译：UMLS知识源服务器：用于传递UMLS数据的对象模型
7. Live and let die: LSC-based verification of UML models [O] . Werner Damm, Bernd Westphal 2003

机译：Live and let die：基于LsC的UmL模型验证

Live and let die: LSC based verification of UML models

著录项

引文网络

相似文献

相关主题

期刊订阅