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
3 research outputs found
Avionics system failure analysis and verification based on model checking
Author
Abdulkhaleq
Abdulkhaleq
+35 more
Baier
Bartley
Castilho
Cimatti
Cimatti
Deming Zhong
Fleming
Hongli Wang
IEC 60812
Ishimatsu
Lavagno
Leveson
Leveson
Leveson
Leveson
Leveson
Leveson
Longji
Miller
Pereira
Prisaznuk
Rierson
Rumbaugh
SAE ARP4754A
SAE ARP4761
Selic
Sharvia
Thomas
Tingdi Zhao
Vesely
Wang
Watkins
Watkins
Zhang
Zhou
Publication venue
'Elsevier BV'
Publication date
Field of study
No full text
Crossref
Ice detection and protection systems for circular variable nacelle inlet concepts
Author
AL Braslow
B MacIsaac
+30 more
CA Martin
D Kritzinger
DW Newton
European Commission
FAA
FK Straub
G Pahl
GW Zumwalt
H Baier
H Schlichting
HG Lueders
I Moir
I Moir
J Feldhusen
J Seddon
JD Mattingly
K Ehrlenspiel
NG Ozdemir
R Hedayati
Rolls-Royce plc.
RW Gent
RW Gent
RW Luidens
S Farokhi
S Murugan
SAE Aerospace ARP4754A
SAE Aerospace ARP4761
U Lindemann
UTC Aerospace Systems
WJG Bräunling
Publication venue
'Springer Science and Business Media LLC'
Publication date
Field of study
No full text
Crossref
A systems engineering-based approach for framing reliability, availability, and maintainability: A case study for subsea design
Author
AGA-Report No. 9
API-RP-17N
+43 more
Asbjørnsen
Bertsche
Blanchard
Brissaud
Brissaud
Clarkson
Crowe
Dahl
Daniels
DNV-RP-A203
EN50126
Eppinger
Eshuis
Friedenthal
Garro
GRIF
IEC 60300 3-4
IEC 60300-3-10
IEC 60812
IEC 61508
IEC 61513
INCOSE
INCOSE
ISO 20815
ISO 26262
Johansen
Johansson
Kusiak
Leveson
Long
Mettas
NASA
NORSOK I-106
O'Connor
OREDA
Ramírez
Ryan
SAE ARP4761
Shainee
Signoret
Stamatis
Stapelberg
Verma
Publication venue
'Wiley'
Publication date
Field of study
No full text
Crossref