首页> 外文OA文献 >UML Specification and Transformation of Safety Features for Memory Protection

【2h】

UML Specification and Transformation of Safety Features for Memory Protection

机译：UML规范和安全功能转换，用于内存保护

代理获取

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

页面导航

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

著录项

作者
Lars Huning; Padma Iyenghar; Elke Pulvermüller;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Coupling-based transformations of Z specifications into UML diagrams [J] . Andreas Bollin Innovations in Systems and Software Engineering . 2011,第4期

机译：Z规范到UML图的基于耦合的转换
2. Coupling-based transformations of Z specifications into UML diagrams [J] . Andreas Bollin Innovations in Systems and Software Engineering . 2011,第4期

机译：Z规范到UML图的基于耦合的转换
3. Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach [J] . Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui International Journal of Embedded Systems . 2018,第6期

机译：从UML模型生成可验证的Lotos规范：基于图形的方法
4. UML Specification and Transformation of Safety Features for Memory Protection [C] . Lars Huning, Padma Iyenghar, Elke Pulvermuller International Conference on Evaluation of Novel Software Approaches to Software Engineering . 2019

机译：UML规范和安全功能转换，用于内存保护
5. Automatic transformation of UML software specification into LQN performance models using Graph Grammar techniques [D] . Amer, Hoda 2001

机译：使用图文法技术将UML软件规范自动转换为LQN性能模型
6. Combining Contextual and Lexical Features to Classify UMLS Concepts [O] . Jung-Wei Fan, Carol Friedman 2007

机译：结合上下文和词汇特征对UMLS概念进行分类
7. Specification and Verification of Model Transformations Using UML-RSDS [O] . Lano Kevin, Kolahdouz-Rahimi Shekoufeh 2010

机译：使用UML-RSDS进行模型转换的规范和验证
8. Technical Evaluation Report on the Proposed Amendment to the Technical Specifications on the Reactor Protection System and the Engineered Safety Features Actuation System for Ft. Calhoun, Unit No. 1 [R] . Selan, J. C. 1982

机译：关于英特尔反应堆保护系统和工程安全特征驱动系统技术规范修正案的技术评估报告。卡尔霍恩，1号单位

UML Specification and Transformation of Safety Features for Memory Protection

著录项

引文网络

相似文献

相关主题

期刊订阅