首页> 外文OA文献 >SpinRCP: the eclipse rich client platform integrated development environment for the spin model checker

【2h】

SpinRCP: the eclipse rich client platform integrated development environment for the spin model checker

机译：SpinRCP：Eclipse Rich Client Platform集成的旋转模型检查器的开发环境

代理获取

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

页面导航

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

著录项

作者
Zmago Brezočnik; Boštjan Vlaovič; Aleksander Vreže;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Eclipse Rich Ajax Platform: bringing rich clients to the Web [J] . Claudiu Popescu Computing reviews . 2010,第4期

机译：Eclipse Rich Ajax平台：将富客户机带入Web
2. The MESSAGE_(ix) Integrated Assessment Model and the ix modeling platform (ixmp): An open framework for integrated and cross-cutting analysis of energy, climate, the environment, and sustainable development [J] . Huppmann Daniel, Gidden Matthew, Fricko Oliver, Environmental Modelling & Software . 2019,第FEBa期

机译：MESSAGE_（ix）综合评估模型和ix建模平台（ixmp）：一个开放框架，可对能源，气候，环境和可持续发展进行综合和跨领域分析
3. Composing Systems with Eclipse Rich Client Platform Plug-Ins [J] . Kornstadt Andreas, Reiswich Eugen Software, IEEE . 2010,第6期

机译：使用Eclipse Rich Client Platform插件组成系统
4. Staying Afloat in an Expanding Sea of Choices: Emerging Best Practices for Eclipse Rich Client Platform Development [C] . Andreas Kornstaedt, Eugen Reiswich 32nd ACM/IEEE international conference on software engineering 2010 . 2011

机译：在不断扩展的选择中生存下去：Eclipse Rich Client Platform开发的新兴最佳实践
5. Applying the spin model-checker to model-based designs implemented in Matlab Simulink/Stateflow. [D] . Seigman, Paul. 2006

机译：将旋转模型检查器应用于Matlab Simulink / Stateflow中实现的基于模型的设计。
6. Online chemical modeling environment (OCHEM): web platform for data storage model development and publishing of chemical information [O] . I Sushko, AK Pandey, S Novotarskyi, 2011

机译：在线化学建模环境（OCHEM）：用于数据存储模型开发和化学信息发布的Web平台
7. Development of Integrated Development Environment for Numerical Computing Program based on Rich Client Platform [O] . 古賀雅伸, 松永隆徳 2006

机译：基于Rich Client平台的数值计算程序集成开发环境的开发

SpinRCP: the eclipse rich client platform integrated development environment for the spin model checker

著录项

引文网络

相似文献

相关主题

期刊订阅