上下倒置
发表于 2025-3-26 21:44:59
Developing fault tolerant software in Ada for real-time dependable systems,978-3-0348-9189-9
conference
发表于 2025-3-27 04:41:56
http://reply.papertrans.cn/15/1445/144489/144489_32.png
Gnrh670
发表于 2025-3-27 08:36:57
http://reply.papertrans.cn/15/1445/144489/144489_33.png
collateral
发表于 2025-3-27 11:14:26
PRONAOS ground control center: First operational Ada application in C.N.E.S.,978-1-4471-2152-7
种属关系
发表于 2025-3-27 14:05:40
http://reply.papertrans.cn/15/1445/144489/144489_35.png
思想
发表于 2025-3-27 18:43:32
http://reply.papertrans.cn/15/1445/144489/144489_36.png
磨碎
发表于 2025-3-27 23:37:40
Architekturen verteilter SoftwaresystemeThis article describes the approach taken to implement the Ada Semantic Interface Specification (ASIS) for the GNAT Ada compiler. The paper discusses the main implementation problems and and their solution. It also describes the current state of the implementation.
凝乳
发表于 2025-3-28 02:08:59
Ada in Europe978-3-540-49362-4Series ISSN 0302-9743 Series E-ISSN 1611-3349
Negotiate
发表于 2025-3-28 09:12:13
Architecture of Computing Systemswing paper analyses this aspect of Ada describing the different methods which can be used to accomplish this difficult task. Some of those methods have been successfully experimented with during the development of a large safety-related system. The advantages and disadvantages of the various approaches will also be outlined.
Missile
发表于 2025-3-28 10:35:53
http://reply.papertrans.cn/15/1445/144489/144489_40.png