otitis-externa
发表于 2025-3-21 16:35:11
书目名称Reliable Software Technologies -- Ada-Europe 2013影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0826452<br><br> <br><br>书目名称Reliable Software Technologies -- Ada-Europe 2013影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0826452<br><br> <br><br>书目名称Reliable Software Technologies -- Ada-Europe 2013网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0826452<br><br> <br><br>书目名称Reliable Software Technologies -- Ada-Europe 2013网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0826452<br><br> <br><br>书目名称Reliable Software Technologies -- Ada-Europe 2013被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0826452<br><br> <br><br>书目名称Reliable Software Technologies -- Ada-Europe 2013被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0826452<br><br> <br><br>书目名称Reliable Software Technologies -- Ada-Europe 2013年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0826452<br><br> <br><br>书目名称Reliable Software Technologies -- Ada-Europe 2013年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0826452<br><br> <br><br>书目名称Reliable Software Technologies -- Ada-Europe 2013读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0826452<br><br> <br><br>书目名称Reliable Software Technologies -- Ada-Europe 2013读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0826452<br><br> <br><br>
性冷淡
发表于 2025-3-21 23:47:19
Conference proceedings 2013 held in Berlin, Germany, in June 2013. The 11 full papers presented were carefully reviewed and selected from various submissions. They are organized in topical sections on multi-core and distributed systems; Ada and Spark; dependability; and real-time systems.
archenemy
发表于 2025-3-22 04:08:47
http://reply.papertrans.cn/83/8265/826452/826452_3.png
V切开
发表于 2025-3-22 05:33:58
Reliable Software Technologies -- Ada-Europe 2013978-3-642-38601-5Series ISSN 0302-9743 Series E-ISSN 1611-3349
幻影
发表于 2025-3-22 09:19:53
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/r/image/826452.jpg
多产子
发表于 2025-3-22 13:54:18
http://reply.papertrans.cn/83/8265/826452/826452_6.png
逢迎白雪
发表于 2025-3-22 17:05:39
Model-Based Deployment of Mission-Critical Spacecraft Applications on Multicore Processorslly regarding the efficient and safe deployment of software applications to hardware resources. We propose a model-based approach for the construction of software deployment schemes, and apply it to a spacecraft use case with two different mission phases to illustrate the benefits of such model-based software deployment.
VERT
发表于 2025-3-23 00:22:05
A SPARK/Ada CubeSat Control Programor a CubeSat nano-satellite that will orbit the Earth as the first step toward the ultimate goal of building a prototype CubeSat that will go to the Moon. Our work shows that inexperienced undergraduates can learn to use SPARK to produce more robust software than might otherwise be the case, even in the environment of a volatile student project.
vanquish
发表于 2025-3-23 02:00:11
http://reply.papertrans.cn/83/8265/826452/826452_9.png
推崇
发表于 2025-3-23 07:44:49
http://reply.papertrans.cn/83/8265/826452/826452_10.png