首页> 外文OA文献 >Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines

【2h】

Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines

机译：基于时间抽象状态机的扩展基于aaDL的体系结构规范的定时仿真

代理获取

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

页面导航

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

著录项

作者
Lars Grunske; Kristina Lundqvist;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. The Timed Abstract State Machine Language: Abstract State Machines for Real-Time System Engineering [J] . Martin Ouimet, Kristina Lundqvist Journal of Universal Computer Science . 2008,第12期

机译：定时抽象状态机语言：实时系统工程的抽象状态机
2. Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking [J] . Anatol Slissenko, Pavel Vasilyev Journal of Universal Computer Science . 2008,第12期

机译：定时逻辑抽象状态机的谓词逻辑模型检验
3. Monitoring Tools On A Rotary Transfer Machine - For this precision machining firm, tool monitoring is extending tool life, improving machine uptime and reducing cycle times [J] . Leo Rakowski Production Machining . 2005,第3期

机译：监视旋转式旋转机床上的刀具-对于这家精密加工公司而言，刀具监视可延长刀具寿命，提高机床的正常运行时间并缩短周期时间
4. Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines [C] . Stefan Bjoernander, Lars Grunske, Kristina Lundqvist Architectures for adaptive software systems . 2009

机译：用定时抽象状态机对基于AADL的扩展体系结构规范进行定时仿真
5. Modeling timing faults using timed extended finite state machines and extended timed automata. [D] . Wang, Yu. 2009

机译：使用定时扩展有限状态机和扩展定时自动机对定时故障进行建模。
6. Cost-Benefit Analysis of the Upland-Rice Root Architecture in Relation to Phosphate: 3D Simulations Highlight the Importance of S-Type Lateral Roots for Reducing the Pay-Off Time [O] . Daniel Gonzalez, Johannes Postma, Matthias Wissuwa 2021

机译：磷酸盐与磷酸盐相关的成本效益分析：3D仿真突出了S型侧面根源以减少递减时间的重要性
7. Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines [O] . Björnander, Stefan, Grunske, Lars, Lundqvist, Kristina 2009

机译：用定时抽象状态机对基于AADL的扩展体系结构规范进行定时仿真

Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines

著录项

引文网络

相似文献

相关主题

期刊订阅