CORE
🇺🇦Â
 make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
2 research outputs found
AADL-Based safety analysis using formal methods applied to aircraft digital systems
Author
AIR 6110
AS5506C
+20Â more
Bozzano
Bozzano
Bozzano
Bozzano
Chen
Feiler
Feiler
Friedenthal
Gacek
Ghassabani
Halbwachs
Hönig
MathWorks
Mhenni
PHM Technology
Prosvirnova
SAE ARP 4754A
SAE ARP 4761
Stewart
Stewart
Publication venue
'Elsevier BV'
Publication date
Field of study
No full text
Crossref
A review of unmanned aircraft system ground risk models
Author
Aalmoes
Achim Washington
+87Â more
Air Force Flight Test Center
Ale
Alphonse
Ancel
Andrew
Arterburn
Awad
Ball
Barr
Bir
Bleier
Bradley
Brady
Burke
CAA
Cheung
Civil Aviation Authority of New Zealand
Civil Aviation Safety Authority
Clothier
Clothier
Clothier
Clothier
Clothier
Clothier
Clothier
Clothier
Clothier
Clothier
Columbia Accident Investigation Board
Crull
Dalamagkidis
Dalamagkidis
Dalamagkidis
Demographia
Di Donato
DOD
EASA
EASA
FAA
FAA
FAA
Feinstein
Fenton
Ford
Foster
Guarro
Guglieri
Guikema
Haartsen
Hardwick
Hayhurst
ISO
JAA/EUROCONTROL
JARUS Working Group 6
Jensen
Jose Silva
Kevorkian
King
Klepeis
Knott
Li
Lum
Lum
Magister
Mattei
McGeer
Melnyk
Melvin
NATO Standardization Agency
NATO Standardization Agency (NSA)
Paté-Cornell
Range Commanders Council
Raymond
Reece A. Clothier
RTCA DO-344
SAE ARP 4754A
SAE ARP 4761
Shelley
Skobir
Stevenson
Thompson
Waggoner
Washington
Weibel
Wolf
Wu
Yoganandan
Publication venue
'Elsevier BV'
Publication date
Field of study
No full text
Crossref