A System Development Process with Event-B and the Rodin Platform

机译：具有Event-B和Rodin平台的系统开发过程

代理获取

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

页面导航

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

著录项

作者
J. -R. Abrial;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formalizing hybrid systems with Event-B and the Rodin Platform [J] . Wen Su, Jean-Raymond Abrial, Huibiao Zhu Science of Computer Programming . 2014,第pta2期

机译：使用Event-B和Rodin平台使混合系统正式化
2. Development of a Signal Analyzing and Processing System on PC Platform Using LabVIEW [J] . Md Selim Reza International Journal of Advancements in Technology . 2018,第4期

机译：基于LabVIEW的PC平台信号分析处理系统的开发
3. Simulation platform for application development on a vision-system-on-chip with integrated signal processing [J] . Reichel Peter, Doege Jens, Hoppe Christoph, Journal of electronic imaging . 2016,第4期

机译：具有集成信号处理功能的片上视觉系统上的应用开发仿真平台
4. A System Development Process with Event-B and the Rodin Platform [C] . Jean-Raymond Abrial European Congress on Embedded Real Time Software . 2008

机译：具有Event-B和Rodin平台的系统开发过程
5. A novel image processing platform development for pre-processing images with two-phase microstructures containing isolated particles. [D] . Zhang, Yuxiu. 2010

机译：一种新颖的图像处理平台开发，用于预处理包含隔离颗粒的两相微结构图像。
6. Assessing the influence of knowledge translation platforms on health system policy processes to achieve the health millennium development goals in Cameroon and Uganda: a comparative case study [O] . Pierre Ongolo-Zogo, John N Lavis, Goran Tomson, -1

机译：评估知识翻译平台对卫生系统政策过程的影响以实现喀麦隆和乌干达卫生千年发展目标：一个比较案例研究
7. An incremental process for the development of multi-agent systems in Event-B [O] . Ball Elisabeth 2008

机译：在Event-B中开发多代理系统的增量过程
8. Development and Testing of an Ultra Low Power System-On-Chip (SOC) Platform for Marine Mammal Tags and Passive Acoustic Signal Processing. [R] . Calhoun, B. H., Otis, B., Mann, D. 2014

机译：开发和测试用于海洋哺乳动物标签和被动声学信号处理的超低功耗片上系统（sOC）平台。

A System Development Process with Event-B and the Rodin Platform

著录项

引文网络

相似文献

相关主题

期刊订阅