Type Certification
Type Certification is a formal regulatory determination within the domain of aviation airworthiness that establishes the design approval of an aircraft, engine, propeller, or appliance as meeting the applicable safety and performance requirements specified in the relevant certification basis.
9
Publications
172
Citations
31
Authors
16
Institutions
Publications per year
2017–2026
4
9
Certifying circuits in Type Theory
Solange Coupet-Grimal, Line Jakubiec · Formal Aspects of Computing · 2004 · 16 citations · Full text
1–5 of 9
31
2
h-index
2
h-index
2
h-index
1
h-index
Institute for Systems Engineering and Computers, Portugal
1 publications · 11 citations
1
h-index
1–5 of 31
16
Georgia Institute of Technology
Atlanta, United States
2 h-index
12 publications
215 citations
University of Southampton
Southampton, United Kingdom
1 h-index
1 publications
14 citations

University of Limerick
Limerick, Ireland
1 h-index
1 publications
14 citations
Cranfield University
Cranfield, United Kingdom
1 h-index
1 publications
14 citations
Wirbelsäulen-Institut München
Munich, Germany
1 h-index
2 publications
22 citations

Monash University
Melbourne, Australia
1 h-index
1 publications
14 citations
Federal Aviation Administration
Washington, United States
1 h-index
1 publications
10 citations
CCD Design & Ergonomics (United Kingdom)
London, United Kingdom
1 h-index
1 publications
14 citations
1–8 of 16
1 publications · 11 citations
1
h-index
1 publications · 16 citations
1
h-index
Repository · 1 publications · 14 citations
1
h-index
1 publications · 22 citations
1
h-index
Repository · 1 publications · 16 citations
1
h-index
1–5