或者发神韵 发表于 2025-3-28 18:16:56

Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADLas of the ADLs are highlighted. Results of using an extended comparison framework showed many similarities, but also one clear distinction between the languages regarding the perspectives and the levels of abstraction in which systems are modeled.

abysmal 发表于 2025-3-28 21:31:19

http://reply.papertrans.cn/83/8265/826445/826445_42.png

统治人类 发表于 2025-3-29 00:08:39

ORK+/XtratuM: An Open Partitioning Platform for Ada(ORK+), a small, reliable real-time kernel supporting the Ada Ravenscar tasking profile. This combination provides an open-source platform that enables high-integrity Ada applications to share the same computer board with other, possibly less critical, applications.

Insul岛 发表于 2025-3-29 04:19:51

http://reply.papertrans.cn/83/8265/826445/826445_44.png

expire 发表于 2025-3-29 09:18:17

http://reply.papertrans.cn/83/8265/826445/826445_45.png

exceed 发表于 2025-3-29 13:10:24

Fabien Chouteau,José F. Ruiz FSS based antenna structure will help reader to understand This book focuses on performance enhancement of printed antennas using frequency selective surfaces (FSS) technology. The growing demand of stealth technology in strategic areas requires high-performance low-RCS (radar cross section) antenn

说笑 发表于 2025-3-29 19:21:21

Sergio Sáez,Silvia Terrasa,Alfons Crespochnology in strategic areas requires high-performance low-RCS (radar cross section) antennas. Such requirements may be accomplished by incorporating FSS into the antenna structure either in its ground plane or as the superstrate, due to the filter characteristics of FSS structure. In view of this, a

nauseate 发表于 2025-3-29 19:45:16

http://reply.papertrans.cn/83/8265/826445/826445_48.png

triptans 发表于 2025-3-30 02:14:09

Dan Eilers,Tero Koskinenomic ensemble by optical pumping, and additionally monitors the degree of polarization that is attained; simultaneously, the atomic ensemble interacts with a microwave field, which reduces the degree of polarization in the atomic ensemble when the microwave field’s frequency matches an appropriate a

chapel 发表于 2025-3-30 06:35:48

http://reply.papertrans.cn/83/8265/826445/826445_50.png
页: 1 2 3 4 [5] 6 7
查看完整版本: Titlebook: Reliable Software Technologies – Ada-Europe 2011; 16th Ada-Europe Inte Alexander Romanovsky,Tullio Vardanega Conference proceedings 2011 Th