by Broy, M.
Published in Computer (Long Beach, Calif.) (01.10.2006)

by Pohl, Klaus, Achatz, Reinhold, Broy, Manfred, Hönninger, Harald
Year of Publication 2012

by Böhm, Wolfgang, Broy, Manfred, Klein, Cornel, Pohl, Klaus, Rumpe, Bernhard, Schröck, Sebastian
Year of Publication 2021

by Berenbach, B., Broy, M.
Published in Computer (Long Beach, Calif.) (01.01.2009)

by Broy, M, Peled, D, Kalus, G
Year of Publication 2013

by Pohl, Klaus, Broy, Manfred, Daembkes, Heinrich, Hönninger, Harald
Year of Publication 2016

by Broy, M.
Published in IEEE transactions on software engineering (01.01.2001)

by Broy, Manfred, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander
Year of Publication 2005

by Broy, M
Published in Information and software technology (15.11.1999)

by Kuhn, K A, Knoll, A, Mewes, H-W, Schwaiger, M, Bode, A, Broy, M, Daniel, H, Feussner, H, Gradinger, R, Hauner, H, Höfler, H, Holzmann, B, Horsch, A, Kemper, A, Krcmar, H, Kochs, E F, Lange, R, Leidl, R, Mansmann, U, Mayr, E W, Meitinger, T, Molls, M, Navab, N, Nüsslin, F, Peschel, C, Reiser, M, Ring, J, Rummeny, E J, Schlichter, J, Schmid, R, Wichmann, H E, Ziegler, S
Published in Methods of information in medicine (2008)

by Broy, M, Grünbauer, J, Hoare, T
Year of Publication 2007

by HERZBERG, Dominikus, BROY, Manfred
Published in Formal aspects of computing (01.05.2005)

by Broy, M, Leuxner, C, Hoare, T
Year of Publication 2011

by Broy, M.
Published in 25th International Conference on Software Engineering, 2003. Proceedings (2003)

by Uchitel, S., Broy, M., Kruger, I.H., Whittle, J.
Published in IEEE transactions on software engineering (01.12.2005)

by Broy, M.
Published in Computer (Long Beach, Calif.) (01.10.2011)

by Broy, M, Sitou, W, Hoare, T
Year of Publication 2009

by Hutchison, David, Kanade, Takeo, Kittler, Josef
Year of Publication 2008

by Broy, Manfred, Feilkas, Martin, Herrmannsdoerfer, Markus, Merenda, Stefano, Ratiu, Daniel
Published in Proceedings of the IEEE (01.04.2010)

by Broy, Manfred, Kruger, Ingolf H., Pretschner, Alexander, Salzmann, Christian
Published in Proceedings of the IEEE (01.02.2007)