Romanovsky, Alexander
[Herausgeber:in];
Vardanega, Tullio
[Sonstige Person, Familie und Körperschaft]
;
Ada Europe,
International Conference on Reliable Software Technologies 16 2011 Edinburgh
Buth, Bettina
[Herausgeber:in];
Rabe, Gerd
[Sonstige Person, Familie und Körperschaft];
Seyfarth, Till
[Sonstige Person, Familie und Körperschaft]
;
SAFECOMP 28 2009 Hamburg
Alpuente, María
[Herausgeber:in];
Cook, Byron
[Sonstige Person, Familie und Körperschaft];
Joubert, Christophe
[Sonstige Person, Familie und Körperschaft]
;
FMICS 14 2009 Eindhoven
Harrison, Michael D.
[Sonstige Person, Familie und Körperschaft];
Sujan, Mark-Alexander
[Sonstige Person, Familie und Körperschaft];
Harrison, Michael Douglas
[Herausgeber:in]
;
SAFECOMP 27 2008 Newcastle-upon-Tyne
Brim, Luboš
[Herausgeber:in];
Haverkort, Boudewijn
[Sonstige Person, Familie und Körperschaft];
Leucker, Martin
[Sonstige Person, Familie und Körperschaft];
Pol, Jaco van de
[Sonstige Person, Familie und Körperschaft]
;
International Workshop on Formal Methods for Industrial Critical Systems 11 2006 Bonn,
PDMC 5 2006 Bonn
Cofer, Darren
[Herausgeber:in];
Fantechi, Alessandro
[Sonstige Person, Familie und Körperschaft]
;
European Research Consortium for Informatics and Mathematics Working Group on Formal Methods for Industrial Critical Systems,
FMICS 13 2008 L'Aquila
Brim, Luboš
[Sonstige Person, Familie und Körperschaft];
Haverkort, Boudewijn
[Sonstige Person, Familie und Körperschaft];
Leucker, Martin
[Sonstige Person, Familie und Körperschaft];
Pol, Jaco van de
[Sonstige Person, Familie und Körperschaft]
Alpuente, María
[Verfasser:in]
;
Cook, Byron
[Sonstige Person, Familie und Körperschaft];
Joubert, Christophe
[Sonstige Person, Familie und Körperschaft]