Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Radio Technical Commission for Aeronautics

Known as: RTCA, RTCA, Incorporated 
Radio Technical Commission for Aeronautics (RTCA, Inc.), originally founded in 1935, and until its re-incorporation in 1991 as a private not-for… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2019
Review
2019
Power systems are the most complex systems and have great importance in modern life. They have direct impacts on the… Expand
  • table 1
  • figure 1
  • table 2
  • figure 2
  • table 3
Highly Cited
2013
Highly Cited
2013
As of today, model-based testing (MBT) is considered as leading-edge technology in industry. We sketch the different MBT variants… Expand
  • table 1
  • figure 5
  • figure 6
  • figure 7
  • table 2
2009
2009
One of the key services envisioned in support of the NextGen and SESAR concepts is the 4D Trajectory Data Link (4DTRAD) Service… Expand
  • figure 1
  • figure 2
Highly Cited
2009
Highly Cited
2009
For researchers performing invasion and migration assays, the CIM-Plate 16 used with the xCELLigence RTCA DP Instrument from… Expand
  • figure 1
  • figure 3
  • figure 2
Highly Cited
2007
Highly Cited
2007
Many safety-related, certification standards exist for developing safety-critical systems. System safety assessments are common… Expand
Highly Cited
2001
Highly Cited
2001
R euse has been defined variously: Definitions range from " the systematic practice of developing software from a stock of… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Review
2001
Review
2001
This tutorial provides a practical approach to assessing modified condition/decision coverage (MC/DC) for aviation software… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
Highly Cited
2000
Highly Cited
2000
In a joint project with the FAA, NASA Langley is developing a hardware design in accordance with RTCA DO-254: Design Assurance… Expand
  • figure 1
  • figure 2
  • figure 3
Highly Cited
1997
Highly Cited
1997
This article describes the rationale for formal methods and considers the benefits, weaknesses, and difficulties in applying… Expand