Search CORE

4 research outputs found

Machine-assisted proof support for validation beyond Simulink

Author: A. Tiwari
A.M. Gravell
B. Dutertre
B. Meenakshi
B.P. Mahony
C. Chen
C. Muñoz
C.-L. Chang
C.C. Zhou
C.C. Zhou
C.C. Zhou
C.J. Fidge
D.W.J. Stringer-Calvert
E.M. Clarke
G. Chakravorty
H. Rischel
J. Woodcock
J.E. Dawson
J.U. Skakkebæk
M. Jersak
M.J.C. Gordon
S. Owre
S. Tripakis
T. Nipkow
T.A. Henzinger
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2007
Field of study

Institutional Knowledge at Singapore Management University

Computer-aided Support for Secure Tropos

Author: A. Avizienis
A. Dardenne
A. Fuxman
A. Gelder van
A. Lamsweerde van
A. Lamsweerde van
A. Onabajo
A. Perini
A. Rifaut
A.M. Gravell
A.M. Selvin
B. Nuseibeh
B. Schätz
C.L. Heitmeyer
D. Basin
D. Jackson
F. den Braber
F. Lin
F. Massacci
Fabio Massacci
G. Sindre
I. Niemelä
J. Jürjens
J. McDermott
J.H. Saltzer
John Mylopoulos
L. Liu
L.K. Chung
M. Gelfond
M. Gelfond
M. Stamatelatos
N. Leone
N. Maiden
N.A. Ernst
Nicola Zannone
P. Bresciani
P. Giorgini
P. Giorgini
P. Giorgini
P. Jorion
R. Agrawal
R. Anderson
R. Darimont
R. Landtsheer De
S. Fickas
S.J. Buckingham Shum
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Spring viraemia of carp virus (SVCV): comparison of immunoperoxidase, fluorescent antibody and cell culture isolation techniques for detection of antigen

Author: Ahne W.
Ahne W.
Amlacher E.
Baudouy A.M.
Faisal M.
Fijan N.
Graham R.C.
Gravell M.
Kerwick R.A.
Kurstak E.
Plumb J.A.
Wolf K.
Yasutake W.T.
Yasutake W.T.
Publication venue: 'Wiley'
Publication date
Field of study

Older people's views on rural life: a study of three villages

core

core