找回密码
 To register

QQ登录

只需一步,快速开始

扫一扫,访问微社区

Titlebook: Reliable Software Technologies – Ada-Europe 2014; 19th Ada-Europe Inte Laurent George,Tullio Vardanega Conference proceedings 2014 Springer

[复制链接]
查看: 16891|回复: 53
发表于 2025-3-21 17:24:30 | 显示全部楼层 |阅读模式
书目名称Reliable Software Technologies – Ada-Europe 2014
副标题19th Ada-Europe Inte
编辑Laurent George,Tullio Vardanega
视频videohttp://file.papertrans.cn/827/826453/826453.mp4
丛书名称Lecture Notes in Computer Science
图书封面Titlebook: Reliable Software Technologies – Ada-Europe 2014; 19th Ada-Europe Inte Laurent George,Tullio Vardanega Conference proceedings 2014 Springer
描述This book constitutes the refereed proceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2014, held in Paris, France, in June 2014. The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 68 submissions. They are organized in topical sections on formal methods; uses of ada; real-time scheduling; applications.
出版日期Conference proceedings 2014
关键词fault tolerance; formal methods; formal methods; middleware; middleware; multicore architectures; multicor
版次1
doihttps://doi.org/10.1007/978-3-319-08311-7
isbn_softcover978-3-319-08310-0
isbn_ebook978-3-319-08311-7Series ISSN 0302-9743 Series E-ISSN 1611-3349
issn_series 0302-9743
copyrightSpringer International Publishing Switzerland 2014
The information of publication is updating

书目名称Reliable Software Technologies – Ada-Europe 2014影响因子(影响力)




书目名称Reliable Software Technologies – Ada-Europe 2014影响因子(影响力)学科排名




书目名称Reliable Software Technologies – Ada-Europe 2014网络公开度




书目名称Reliable Software Technologies – Ada-Europe 2014网络公开度学科排名




书目名称Reliable Software Technologies – Ada-Europe 2014被引频次




书目名称Reliable Software Technologies – Ada-Europe 2014被引频次学科排名




书目名称Reliable Software Technologies – Ada-Europe 2014年度引用




书目名称Reliable Software Technologies – Ada-Europe 2014年度引用学科排名




书目名称Reliable Software Technologies – Ada-Europe 2014读者反馈




书目名称Reliable Software Technologies – Ada-Europe 2014读者反馈学科排名




单选投票, 共有 0 人参与投票
 

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用户组没有投票权限
发表于 2025-3-21 20:35:01 | 显示全部楼层
Bernd Burgstaller,Johann Blieberger Vom Fundament über den Innenausbau bis zum Dach bietet das Standardwerk kompaktes Grundwissen und berücksichtigt aktuelle Neuentwicklungen und die immer stärker anwachsende Zahl von Normen und anderen Baubestimmungen..Der „Frick/Knöll“ ist damit ein unentbehrlicher und zuverlässiger Begleiter für j
发表于 2025-3-22 01:52:58 | 显示全部楼层
发表于 2025-3-22 05:58:58 | 显示全部楼层
Alan Burns,Andy Wellingse, Darstellungstiefe und Aktualität.Includes supplementary m.In der vollständig überarbeiteten und aktualisierten 36. Auflage des Bandes 1 werden neben der Berücksichtigung des aktuellsten Standes der Normung und praxisrelevanten Richtlinien besonders zeitgemäße Konstruktionsprinzipien aus den Berei
发表于 2025-3-22 12:13:12 | 显示全部楼层
0302-9743 2014, held in Paris, France, in June 2014. The revised 12 full papers presented together with two keynotes were carefully reviewed and selected from 68 submissions. They are organized in topical sections on formal methods; uses of ada; real-time scheduling; applications.978-3-319-08310-0978-3-319-0
发表于 2025-3-22 14:56:03 | 显示全部楼层
发表于 2025-3-22 17:02:44 | 显示全部楼层
Lessons Learned and Easily Forgottenproject and team management. In the hope that this contribution can benefit others, these personal reflections are offered first to the community that keeps this conference series alive and kicking, and then to those who consult the conference proceedings, who – I have learned – are not a small number.
发表于 2025-3-23 01:01:50 | 显示全部楼层
发表于 2025-3-23 03:16:42 | 显示全部楼层
Parallelism in Ada: Status and Prospectsis paper extends that work by adding notations for data types and parallel blocks, simplifying some of the parallel notations and eliminating obstructions to the implementation of efficient parallel algorithms.
发表于 2025-3-23 05:45:53 | 显示全部楼层
OBUs’ Development and Maintenance of a Train Control System for Low Density Traffic Lines projects. The latest modifications dealt with the exchange of the communication mechanisms over the data radio system, the exchange of the data radio system itself and sensor replacements. These modifications have been performed within the realm of the EU funded research project SATLOC and tested in field.
 关于派博传思  派博传思旗下网站  友情链接
派博传思介绍 公司地理位置 论文服务流程 影响因子官网 吾爱论文网 大讲堂 北京大学 Oxford Uni. Harvard Uni.
发展历史沿革 期刊点评 投稿经验总结 SCIENCEGARD IMPACTFACTOR 派博系数 清华大学 Yale Uni. Stanford Uni.
QQ|Archiver|手机版|小黑屋| 派博传思国际 ( 京公网安备110108008328) GMT+8, 2025-8-12 22:31
Copyright © 2001-2015 派博传思   京公网安备110108008328 版权所有 All rights reserved
快速回复 返回顶部 返回列表