Dietrich, Manfred
[Editor]
;
Informationstechnische Gesellschaft,
Informationstechnische Gesellschaft,
Gesellschaft für Informatik,
Gesellschaft Mikroelektronik, Mikrosystem- und Feinwerktechnik,
Fachtagung Zuverlässigkeit und Entwurf 2013 Dresden
Dietrich, Manfred
[Editor]
;
Informationstechnische Gesellschaft,
Informationstechnische Gesellschaft,
Gesellschaft für Informatik,
Gesellschaft Mikroelektronik, Mikrosystem- und Feinwerktechnik,
Fachtagung Zuverlässigkeit und Entwurf 2013 Dresden
Kordon, Fabrice
[Editor];
Sztipanovits, Janos
[Other]
;
Monterey Workshop on Networked Systems: Realization of Reliable Systems on Unreliable Networked Platforms 12, 2005, Laguna Beach, Calif
Brim, Luboš
[Editor];
Haverkort, Boudewijn
[Other];
Leucker, Martin
[Other];
Pol, Jaco van de
[Other]
;
International Workshop on Formal Methods for Industrial Critical Systems 11 2006 Bonn,
PDMC 5 2006 Bonn
Cofer, Darren
[Editor];
Fantechi, Alessandro
[Other]
;
European Research Consortium for Informatics and Mathematics Working Group on Formal Methods for Industrial Critical Systems,
FMICS 13 2008 L'Aquila