Holger Blasum
发表
Burkhart Wolff,
Julien Schmaltz,
Yakoub Nemouchi,
2015,
NFM.
Julien Schmaltz,
Freek Verbeek,
Holger Blasum,
2014,
SAFECOMP.
Julien Schmaltz,
Freek Verbeek,
Oto Havle,
2014
.
Burkhart Wolff,
Julien Schmaltz,
Yakoub Nemouchi,
2014,
Arch. Formal Proofs.
Holger Blasum,
Sven Nordhoff,
2017,
MILS.
Sergey Tverdyshev,
Holger Blasum,
2018,
MILS@DSN.
Burkhart Wolff,
Julien Schmaltz,
Yakoub Nemouchi,
2015
.
Burkhart Wolff,
Julien Schmaltz,
Yakoub Nemouchi,
2016
.
Bernhard Beckert,
Thorsten Bormer,
Christoph Baumann,
2009,
SAFECOMP.
Thorsten Bormer,
Christoph Baumann,
Sergey Tverdyshev,
2011,
2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops.
Holger Blasum,
H. Blasum,
2015,
MILS@HiPEAC.
Sergey Tverdyshev,
Holger Blasum,
2011
.
Holger Blasum,
Andreas Meisl,
2003
.
Michael Paulitsch,
Sergey Tverdyshev,
Holger Blasum,
2012,
IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN 2012).
Holger Blasum,
Jürgen Urban,
Frank Goergen,
2007
.
Sergey Tverdyshev,
Holger Blasum,
Stanislav Moiseev,
2015,
CRITIS.
Burkhart Wolff,
Julien Schmaltz,
Yakoub Nemouchi,
2014
.
Bernhard Beckert,
Thorsten Bormer,
Christoph Baumann,
2012,
SSV.
Frank Golatowski,
Caspar Gries,
Reinhard Hametner,
2021,
2021 4th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS).
Frank Golatowski,
Reinhard Hametner,
Francisco Ramos,
2021,
IECON 2021 – 47th Annual Conference of the IEEE Industrial Electronics Society.
Bernhard Beckert,
Thorsten Bormer,
Christoph Baumann,
2009
.