首页> 外文OA文献 >Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes

【2h】

Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes

机译：具有动态子进程的模块化过程感知信息系统的安全性，活跃和运行时间精制

代理获取

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

页面导航

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

著录项

作者
Søren Debois; Thomas Hildebrandt; Tijs Slaats;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. ROBEL Mobile Maintenance System (ROMIS): its modularity speeds up vehicle procurement and work processes, and enhances work safety and cost-efficiency [J] . Gregor Schmid, Peter Hechenberger, Christoph Muhlbacher Rail Engineering International . 2019,第1期

机译：Robel移动维护系统（ROMIS）：其模块化速度加快了车辆采购和工作过程，并提高了工作安全和成本效率
2. Activity-dependent refinement in the goldfish retinotectal system is mediated by the dynamic regulation of processes withdrawal: an in vivo imaging study. [J] . Johnson FA, Dawson AJ, Meyer RL The Journal of Comparative Neurology . 1999,第4期

机译：金鱼视网膜-视网膜系统中活动依赖的精炼是由过程退出的动态调节介导的：一项体内成像研究。
3. Generalized Boolean logic Driven Markov Processes: A powerful modeling framework for Model-Based Safety Analysis of dynamic repairable and reconfigurable systems [J] . Piriou Pierre-Yves, Faure Jean-Marc, Lesage Jean-Jacques Reliability Engineering & System Safety . 2017,第JULa期

机译：广义布尔逻辑驱动的马尔可夫过程：一个强大的建模框架，用于基于模型的动态可修复和可重构系统的安全性分析
4. Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes [C] . Soren Debois, Thomas Hildebrandt, Tijs Slaats International symposium on formal methods . 2015

机译：具有动态子过程的模块化过程感知信息系统的安全性，实时性和运行时优化
5. A Modular Environment for Geophysical Inversion and Run-time Autotuning using Heterogeneous Computing Systems [D] . Myre, Joseph M. 2013

机译：使用异构计算系统进行地球物理反演和运行时自动调谐的模块化环境
6. Nucleosome Dynamics as Modular Systems that Integrate DNA Damage and Repair [O] . Craig L. Peterson, Genevieve Almouzni 2013

机译：核小体动力学作为整合DNA损伤和修复的模块化系统
7. Transcending Static Deployment of Circuits: Dynamic Run-Time Systems and Mobile Hardware Processes for FPGAs [O] . Moseley Ralph 100

机译：超越电路的静态部署：FpGa的动态运行时系统和移动硬件过程
8. DYSIM - A Modular Simulation System for Continuous Dynamic Processes [R] . la Cour Christensen, P. , Kofoed, J. E. , Larsen, N. 1986

机译：DYsIm - 连续动态过程的模块化仿真系统

Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes

著录项

引文网络

相似文献

相关主题

期刊订阅