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
4 research outputs found
Towards verified automotive software
Author
European Commission (DG Enterprise and DG Information Society).
FlexRay Consortium
+6Â more
FlexRay Consortium
Nipkow T.
Pnueli A.
Tverdyshev S.
VDX.
VDX.
Publication venue
'Association for Computing Machinery (ACM)'
Publication date
Field of study
No full text
Crossref
FlexRay for Avionics: Automatic Verification with Parametric Physical Layers
Author
Alkassar E.
Alur R.
+11Â more
Behrmann G.
Dill D. L.
FlexRay Consortium
FlexRayConsortium
Gerke M.
Gerke M.
Knapp S.
Müller C.
Nangate Inc
Paulitsch M.
Schmaltz J.
Publication venue
'American Institute of Aeronautics and Astronautics (AIAA)'
Publication date
01/01/2012
Field of study
No full text
CISPA – Helmholtz-Zentrum für Informationssicherheit
Crossref
Scalable Holistic Scheduling of Safety-critical Systems on In-vehicle TDMA Networks
Author
B Tanasa
D Armaghan
+24Â more
D Peng
Darbandi Armaghan
eCos
FlexRay Consortium
H Kopetz
H Xiuqiang
H Zeng
J Berwanger
J Youn
K Schmidt
M Grenier
M Hu
M Kang
M Lukasiewycz
M Lukasiewycz
Myung Kyun Kim
N Navet
P Pop
S Ding
T F Abdelzaher
T Fuehrer
T Schenkelaars
The Autosar Consortium
Y Kwok
Publication venue
'Springer Science and Business Media LLC'
Publication date
Field of study
No full text
Crossref
A router for the containment of timing and value failures in CAN
Author
Association for Standardisation of Automation and Measuring Systems
Bernhard Frömel
+28Â more
C Paukovits
CE Salloum
F Cristian
FlexRay Consortium BMW AG DaimlerChrysler AG General Motors Corporation Freescale GmbH Philips GmbH Robert Bosch GmbH Volkswagen AG
H Kopetz
H Kopetz
H Salmani
ISO11898 International Standardization Organisation
J Barkai
J Kaiser
J Lala
J Rufino
J Rufino
J Rufino
J Rufino
J Suwatthikul
K Tindell
K Tindell
M Livani
M Mateos
P Riekert
P Verissimo
P VerÃssimo
R Development Core Team
R Obermaisser
R Obermaisser
Roland Kammerer
Roman Obermaisser
Publication venue
'Springer Science and Business Media LLC'
Publication date
Field of study
No full text
Crossref