Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates

Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates
复制标题

使用多视点合同进行嵌入式软件更新协商

DOI:
10.4204/eptcs.208.3
复制
发表时间:
2016
期刊:
影响因子:
--
通讯作者:
M. Wegner
M. Wegner
中科院分区:
--
文献类型:
--
作者:
S. Holthusen;S. Quinton;J. Schlatow;I. Schaefer;M. Wegner

文献摘要

参考文献

被引文献

相似文献

BCL:嵌入式系统的组合合约语言
DOI: --
发表时间: 2014
期刊: IEEE International Conference on Emerging Technologies and Factory Automation
影响因子: --
作者:
Orlando Ferrante;R. Passerone;A. Ferrari;L. Mangeruca;Christos Sofronis
通讯作者: Christos Sofronis
基于实时合约的框架的模块化架构
DOI: --
发表时间: 2009
期刊: 2009 IEEE International Symposium on Industrial Embedded Systems
影响因子: --
作者:
M. Sojka;Z. Hanzálek
通讯作者: Z. Hanzálek
用于复杂的基于组件的嵌入式系统的可扩展自主重配置框架
DOI: 10.1109/icac.2015.18
发表时间: 2015
期刊: 2015 IEEE International Conference on Autonomic Computing
影响因子: --
作者:
Johannes Schlatow;Mischa Moestl;R. Ernst
通讯作者: R. Ernst
DOI: 10.1109/sies.2013.6601470
发表时间: 2013-06
期刊: 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)
影响因子: --
作者:
Alexander Wieder;Björn B. Brandenburg
通讯作者: Alexander Wieder;Björn B. Brandenburg
优先级驱动抢占式调度的模式改变协议
DOI: --
发表时间: 1989
期刊: Real-time systems
影响因子: 1.3
作者:
L. Sha;R. Rajkumar;J. Lehoczky;K. Ramamritham
通讯作者: K. Ramamritham