A

Aachen (see RWTH)

Aquila, see Universita' dell'Aquila  

B
Bergen, University of
Bologna, University of
Brüel & Kjćr Measurements A/S

C
Catalunya, Universitat Politecnica de (UPC)
Centro de Calculo de Sabadell S.A. (CCS)
Centre de Recherche Public Henri Tudor (CRP-HT)
City University, The
Copenhagen Business School

CRIN-CNRS & INRIA Lorraine (see Nancy)

 

E

E.T.S.I. Telecomunicacion (see Vigo)

F

FCUL (see Lisboa)

G
GEC Alsthom Transport SA
GENESiS Hardware Software Consulting GmbH

Grenoble, University (see LSR-IMAG)

I

IMAG (see LSR-IMAG)

Israel Institute of Technology (see Technion)

JRCASE (see Macquarie University)

K
Karlsruhe, University of
Klagenfurt, Universitaet
Kungl Tekniska Hoegskolan (KTH)

L
Laboratoire Logiciels Systemes Reseaux (LSR-IMAG)
Lancaster University
Leiden University
Limerick, University of
Linz, Johannes Kepler University of
Lisboa, Fundacao da Faculdade de Ciencias da Universidade de (FCUL)
Louvain, Universite Catholique de

M
Madrid, Universidad Politecnica de 
McGill University
Macquarie University
Milano, Politecnico di
Minho, Universidade do
Murcia, Universidad de
 

N
Namur, Facultes Universitaires de, Institut d'Informatique
Nancy, Centre de Recherche en Informatique de / CRIN-CNRS & INRIA Lorraine
Nantes, Ecole Centrale de
Nantes, University of
NASA, Independent Verification and Validation Facility
Newcastle upon Tyne, University of
Nokia Research Centre

Norwegian Institute of Technology (NTH) (see SINTEF-B)
NTUA (see Athens, National Technical University of )

P
Paris 1, University of
Paris-Sud, Universite de
Philips Research Laboratories
Pisa, University of
Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio)

Q
Quality Systems & Software Ltd (QSS)

R

Royal Institute of Technology, Stockholm (see Kungl)

Rio de Janeiro, Pontifícia Universidade Católica do (see PUC-Rio)

S
SENA S.A.
Siemens Aktiengesellschaft Österreich
SINTEF-B (in assocation with NTH)
Skovde, University of
SRI International
Swedish Institute for Systems Development (SISU)

T
Tampere, University of
Technion - Israel Institute of Technology
Technische Universitaet Wien (TU Wien)
Tilburg University (KUB)
Toronto, University of
Twente, Universiteit

U
University College London (UCL)
Universita'dell'Aquila  
UMIST (University of Manchester Institute of Science & Technology)

V
Vienna, University of

Vienna University of Technology (see TU Wien)

Y
York, University of

Z
Zürich, University of