Search CORE

143 research outputs found

XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems

Author: Adler N
Ahlbrecht A
Antonopoulos CP
Antonopoulos K
Becker J
Doerr T
Durak U
Garousi V
Karadimas D
Kelefouras V
Keramidas G
Khan R
Masing L
Mavropoulos M
Morales V
Nemeth G
Panagiotou C
Sailer A
Schade F
Sezer S
Siddiqui F
Tiganourias E
Voros N
Weber R
Wilhelm T
Zaeske W
Publication venue
Publication date: 01/01/2022
Field of study

Plymouth Electronic Archive and Research Library

XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems

Author: Adler N
Ahlbrecht A
Antonopoulos CP
Antonopoulos K
Becker J
Dorr T
Durak U
Garousi V
Karadimas D
Kelefouras V
Keramidas G
Khan R
Masing L
Mavropoulos M
Morales V
Nemeth G
Panagiotou C
Sailer A
Schade F
Sezer S
Siddiqui F
Tiganourias E
Voros N
Weber R
Wilhelm T
Zaeske W
Publication venue: 'Institute of Electrical and Electronics Engineers (IEEE)'
Publication date: 02/12/2021
Field of study

Institute of Transport Research:Publications

Queen's University Belfast Research Portal

Plymouth Electronic Archive and Research Library

Evolution of nanoporosity in dealloying

Author: A-L Barabasi
AJ Forty
AJ Forty
Alain Karma
C Wagner
DA Kessler
DE Williams
DJ Tulimieri
E Ben-Jacob
G Masing
H Lechtman
HW Pickering
HW Pickering
J Erlebacher
JE Hilliard
Jonah Erlebacher
JW Cahn
JW Cahn
K Sieradzki
K Sieradzki
K Wagner
Karl Sieradzki
Michael J. Aziz
Nikolay Dimitrov
P Haasen
R Li
RC Newman
S Corcoran
TY Hou
WW Mullins
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Physical Properties

Author: B Stritzker
C
C Kittel
C Kittel
C Kittel
C Kittel
C Kittel
C Kittel
C Kittel
C Kittel
C Kittel
C Kittel
C Kittel
C Masing
G Masing
G Masing
G Masing
G Masing
G Masing
G Masing
G Masing
GER Schulze
H Ibach
J Sturge
JC Slater
JF Shackelford
KM Koch
L Solymar
Progress in Metal Physics B
R.E
R.H
RH Bube
RJ Nastasi
W Buckel
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2004
Field of study

Besprechungen

Author: G. Masing
Henneberg
K. Leuchs
L. Singer
M. Bergmann
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Erstarrung von Schmelzen

Author: E Scheil
F Sauerwald
G Masing
G Masing
L Horn
O Greis
P Debye
SC Huang
T Donomoto
TB Massalski
W Schatt
W Schatt
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/1998
Field of study

Besprechungen

Author: G. Masing
L. Hopf
R. Grammel
W. Funk
W. Westphal
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Nature of the ? phase in the copper-beryllium system

Author: G. Masing
G. Ostercheld
H. Borchers
L. Losana
L. S. Patskhverova
M. Hansen
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Solidification

Author: A Sieverts
AH Cottrell
B Chalmers
DA Porter
E Murr
E Scheil
Esaka Straunke, Kurz
F Sauerwald
G Masing
G Masing
G Masing
L Horn
LE Murr
O Greis
P Debye
PC Huang
R.E
R.E
T Donomoto
T.B
W Schatt
W Schatt
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2004
Field of study

…

core

core