Manfred Broy

发表

Manfred Broy, M. Broy, 2004, Essays in Memory of Ole-Johan Dahl.
Manfred Broy, Martin Wirsing, M. Broy, 1995, KORSO Book.
Manfred Broy, Bernhard Rumpe, Wolfgang Böhm, 2020, Model-Based Engineering of Collaborative Embedded Systems.
Manfred Broy, Mario Gleirscher, Stefano Merenda, 2009, Computer.
Manfred Broy, M. Broy, 1998, Formal Methods Syst. Des..
Manfred Broy, Ralf Steinbrüggen, Tony Hoare, 2001 .
Manfred Broy, Friedrich Ludwig Bauer, F. L. Bauer, 1991 .
Manfred Broy, Marco Kuhrmann, Birgit Penzenstadler, 2010, MODELS'10.
Friedrich L. Bauer, Manfred Broy, Thomas Matzner, 1988, Lecture Notes in Computer Science.
Friedrich L. Bauer, Manfred Broy, Thomas Matzner, 1981, Sci. Comput. Program..
Manfred Broy, Klaus Pohl, Heinrich Daembkes, 2016, Springer International Publishing.
Manfred Broy, Wolfgang J. Paul, Maria Spichkova, 2008, Formal Aspects of Computing.
Manfred Broy, Samarjit Chakraborty, S. Ramesh, 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
Manfred Broy, Bernhard Rumpe, María Victoria Cengarle, 2007 .
Manfred Broy, Bernhard Schätz, Franz Huber, 1999, Informatik Forschung und Entwicklung.
Manfred Broy, M. Broy, 1989, Formal Description of Programming Concepts.
Manfred Broy, 2011, 2011 15th International Software Product Line Conference.
Friedrich L. Bauer, Manfred Broy, Wolfgang Hesse, 1978, SIGP.
Manfred Broy, Joost-Pieter Katoen, Alexander Pretschner, 2005 .
Manfred Broy, 2002, Software Pioneers.
Manfred Broy, 2001, IEEE Trans. Software Eng..
Manfred Broy, Joost-Pieter Katoen, Alexander Pretschner, 2004, Model-Based Testing of Reactive Systems.
Manfred Broy, Heinrich Hußmann, Alfons Geser, 1986, Advanced Programming Environments.
Manfred Broy, Bernhard Rumpe, María Victoria Cengarle, 2014, ArXiv.
Manfred Broy, Joost-Pieter Katoen, Alexander Pretschner, 2004, Model-Based Testing of Reactive Systems.
Manfred Broy, Martin Wirsing, M. Broy, 1983, CAAP.
Manfred Broy, Stefan Jähnichen, 1997, Informatik Forschung und Entwicklung.
Manfred Broy, Ulrich Freund, Robert Sandner, 2007 .
Manfred Broy, M. Broy, 1981, IEEE International Conference on Distributed Computing Systems.
Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, 1980, Informatik-Spektrum.
Manfred Broy, Bernhard Steffen, Klaus Havelund, 2016, ISoLA.
Manfred Broy, Greg Nelson, 1994, TOPL.
Manfred Broy, Norbert Gronau, Horst Wildemann, 2010 .
Manfred Broy, Oliver Creighton, Matthias Traub, 2017, 2017 IEEE International Conference on Software Architecture (ICSA).
Manfred Broy, M. Broy, 2011, Neue Technologien in der Gesellschaft.
Manfred Broy, M. Broy, Manfred Broy, 1997 .
Manfred Broy, Wolfgang Hesse, Bernd Krieg-Brückner, 1978 .
Manfred Broy, Walter Dosch, Martin Wirsing, 1985 .
Kamel Barkaoui, Ana Cavalcanti, Manfred Broy, 2008, Formal Aspects of Computing.
Manfred Broy, M. Broy, 2007, Handbook of Real-Time and Embedded Systems.
Manfred Broy, Martin Wirsing, 1989, TAPSOFT, Vol.1.
Manfred Broy, 1997, Informationstechnik Tech. Inform..
Friedrich L. Bauer, Manfred Broy, F. L. Bauer, 1984, Sci. Comput. Program..
Manfred Broy, Alexander Pretschner, Joost-Pieter Katoen, 2004, Model-Based Testing of Reactive Systems.
Manfred Broy, Martin Wirsing, M. Broy, 1980, MFCS.
Manfred Broy, M. Broy, 1996, Theor. Comput. Sci..
Manfred Broy, Ingolf Krüger, K. Venkatesh Prasad, 2010, Proceedings of the IEEE.
Manfred Broy, Friederike Nickl, Michael Breu, 1993, PROSPECTRA Book.
Manfred Broy, Martin Wirsing, M. Broy, 1981, CAAP.
Manfred Broy, Markus Pizka, Florian Deißenböck, 2006, WoSQ '06.
Manfred Broy, Alexander Pretschner, Robert Sandner, 2003 .
Manfred Broy, Ralf H. Reussner, 2010, Computer.
Manfred Broy, Alexander Pretschner, M. Broy, 2011, Model-Based Testing for Embedded Systems.
Manfred Broy, Ingolf Krüger, Christoph Hofmann, 1997, Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference.
Manfred Broy, Martin Wirsing, Claude Pair, 1984, Theor. Comput. Sci..
Manfred Nagl, Manfred Broy, Bernhard Rumpe, 2005, Perspectives Workshop.
Manfred Broy, Klaus Havelund, Rahul Kumar, 2016, ISoLA.
Manfred Broy, Doron Peled, Georg Kalus, 2013, Engineering Dependable Software Systems.
Manfred Broy, Martin Wirsing, 1991, Method of Programming.
Manfred Broy, Martin Wirsing, Rupert Gnatz, 1978, Program Construction.
Manfred Broy, Herbert Weber, 2009, Informatik-Spektrum.
Manfred Broy, H. Dieter Rombach, Kirstin Kohler, 2001, IEEE Software.
Manfred Broy, Martin Wirsing, M. Broy, 1983, RAIRO Theor. Informatics Appl..
Manfred Broy, M. Broy, 2002, 10th Anniversary Colloquium of UNU/IIST.
Manfred Broy, 1999, WADT.
Manfred Broy, Walter Dosch, Martin Wirsing, 1981, GI Jahrestagung.
Manfred Broy, Helmuth Partsch, M. Broy, 1978, Program Construction.
Manfred Broy, Peter Hubwieser, Fakultät für Informatik, 1999 .
Manfred Broy, Bernhard Rumpe, Marco Kuhrmann, 2014, ArXiv.
Manfred Broy, M. Broy, 2015, Computer.
Manfred Broy, Ingolf Krüger, K. Venkatesh Prasad, 2010, Proceedings of the IEEE.
Manfred Broy, Christian Prehofer, Hermann Engesser, 2016, Informatik-Spektrum.
Manfred Broy, Hans-Joachim Bungartz, Arndt Bode, 2017, Informatik-Spektrum.
Manfred Broy, 1994, Inform. Spektrum.
Manfred Broy, Steffen Fuhrmann, Klaus Webers, 2012, ATZelektronik worldwide.
Manfred Broy, Arndt Bode, Dirk Taubner, 2005, Informatik-Spektrum.
Manfred Broy, Peter Pepper, M. Broy, 1981, IEEE Transactions on Software Engineering.
Manfred Broy, Stephan Merz, Katharina Spies, 1994, Formal Systems Specification.
Manfred Broy, Claus Dendorfer, 1992, J. Funct. Program..
Manfred Broy, Bernhard Rumpe, M. Broy, 2007, Informatik-Spektrum.
Manfred Broy, Bernhard Rumpe, Barbara Paech, 2000, TCW-Report.
Manfred Broy, M. Broy, 1995, Computer Science Today.
Manfred Broy, 2003, Informatik-Spektrum.
Manfred Broy, M. Broy, 2000, Jornadas de Ingeniería del Software y Bases de Datos.
Manfred Broy, Dominikus Herzberg, M. Broy, 2005, Formal Aspects of Computing.
Manfred Broy, Barbara Paech, Veronika Thurner, 1997, GI Jahrestagung.
Manfred Broy, Bernhard Schätz, Marco Kuhrmann, 2007, CoCoME.
Manfred Broy, Andrzej Tarlecki, M. Broy, 1985, Bull. EATCS.
Manfred Broy, M. Broy, 1987, J. Comput. Syst. Sci..
Manfred Broy, M. Broy, 2013, 2013 ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN).
Manfred Broy, Ingolf Krüger, M. Broy, 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).
Manfred Broy, María Victoria Cengarle, M. V. Cengarle, 2012, Monterey Workshop.
Manfred Broy, M. Broy, 2012, Advances in Real-Time Systems.
Manfred Broy, M. Broy, 2001, Acta Informatica.
Manfred Broy, Gheorghe Stefanescu, 2009, J. Log. Algebraic Methods Program..
Manfred Broy, H. Dieter Rombach, M. Broy, 2002 .
Manfred Broy, Marco Kuhrmann, 2013, Xpert.press.
Manfred Broy, Andreas Vogelsang, Marco Kuhrmann, 2018, Software & Systems Modeling.
Manfred Broy, M. Broy, 1983, IFIP Congress.
Manfred Broy, Walter Dosch, Martin Wirsing, 1979, ICALP.
Manfred Broy, 1988, Theor. Comput. Sci..
Manfred Broy, Steffen Fuhrmann, Klaus Webers, 2012 .
Manfred Broy, Oscar Slotosch, M. Broy, 2001, EMSOFT.
Manfred Broy, 2013, it Inf. Technol..
Manfred Broy, 1992, NATO ASI PDC.
Manfred Broy, Richard R. Weber, Matthew Fuchs, 1992 .
Manfred Broy, M. Broy, 1981, CONPAR.
Manfred Broy, Günter Reichart, Lutz Rothhardt, 2011, Informatik-Spektrum.
Manfred Broy, Bernhard Rumpe, Radu Grosu, 1996 .
Manfred Broy, Marco Kuhrmann, Georg Kalus, 2010 .
Manfred Broy, Michael Friedewald, H. Dieter Rombach, 2001, Informatik-Spektrum.
Manfred Broy, Radu Grosu, Andreas Rausch, 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.
Manfred Broy, Hans-Joachim Bungartz, Arndt Bode, 2017 .
Manfred Broy, Leslie Lamport, 1994, Formal Systems Specification.
Manfred Broy, Gheorghe Stefanescu, M. Broy, 2001, Theor. Comput. Sci..
Manfred Broy, 2010, Concurrency, Compositionality, and Correctness.
Manfred Broy, Andreas Vogelsang, Marco Kuhrmann, 2018, ArXiv.
Manfred Broy, Klaus Pohl, Reinhold Achatz, 2012 .
Manfred Broy, Martin Wirsing, M. Broy, 1980, CLAAP.
Manfred Broy, Elmar Jürgens, Wolfgang Böhm, 2015, 2015 IEEE/ACM 2nd International Workshop on Software Engineering Research and Industrial Practice.
Manfred Broy, Peter Liggesmeyer, Jürgen Münch, 2011, Software Engineering.
Manfred Broy, Christian Lengauer, M. Broy, 1991, J. Comput. Syst. Sci..
Manfred Broy, M. Broy, 2007, Formal Methods and Hybrid Real-Time Systems.
Manfred Broy, 2010 .
Manfred Broy, M. Broy, 2006, Managing Development and Application of Digital Technologies.
Manfred Broy, Tony Hoare, Johannes Grünbauer, 2007 .
Manfred Broy, M. Broy, 1984, Inf. Control..
Manfred Broy, Andreas Rausch, M. Broy, 2005, Informatik-Spektrum.
Manfred Broy, Oscar Slotosch, M. Broy, 1998, FM-Trends.
Manfred Broy, M. Broy, 1988, GI Jahrestagung.
Manfred Broy, Frank Dederichs, Rainer Weber, 2003 .
Manfred Broy, M. Broy, 2012, it - Information Technology.
Manfred Broy, Wassiou Sitou, Bernd Spanfelner, 2009, SAC '09.
Manfred Broy, M. Broy, 2003 .
Manfred Broy, M. Broy, 1982, Formal Description of Programming Concepts.
Manfred Broy, Dines Bjørner, J. van Leeuwen, 2000, Lecture Notes in Computer Science.
Manfred Broy, M. Broy, 1988, Sci. Comput. Program..
Manfred Broy, Bernhard Rumpe, María Victoria Cengarle, 2009, UML 2 Semantics and Applications.
Manfred Broy, Bernhard Rumpe, Bernhard Schätz, 2004 .
Manfred Broy, M. Broy, 2010, The Future of Software Engineering.
Manfred Broy, M. Broy, 2018, Software Technology: 10 Years of Innovation in IEEE Computer.
Manfred Broy, M. Broy, 1987, NATO ASI Series.
Manfred Broy, 2002, Informatik-Spektrum.
Manfred Broy, Thomas Streicher, M. Broy, 1991, International Journal of Parallel Programming.
Manfred Broy, Walter Brenner, Falk Uebernickel, 2020, IEEE Software.
Manfred Broy, Martin Wirsing, M. Broy, 1991, Lecture Notes in Computer Science.
Manfred Broy, Radu Grosu, Gheorghe Stefanescu, 1998, Proceedings 1998 International Conference on Application of Concurrency to System Design.
Manfred Broy, Michael Mendler, Gerald Lüttgen, 2003, Formal Aspects of Computing.
Manfred Broy, 2019 .
Manfred Nagl, Manfred Broy, Matthias Jarke, 2006, Informatik-Spektrum.
Manfred Broy, Luqi, 1999, Electron. Notes Theor. Comput. Sci..
Manfred Broy, 1993, NATO ASI Series.
Manfred Broy, Ingolf Krüger, Sebastián Uchitel, 2005, IEEE Trans. Software Eng..
Manfred Broy, Klaus Pohl, Reinhold Achatz, 2012, Springer Berlin Heidelberg.
Manfred Broy, Birgit Schieder, 1999, Comput. J..
Manfred Broy, M. Broy, 2013, Perspectives on the Future of Software Engineering.
Manfred Broy, M. Broy, 1989, IFIP Congress.
Manfred Broy, Bernhard Rumpe, María Victoria Cengarle, 2014, ArXiv.
Friedrich L. Bauer, Manfred Broy, F. L. Bauer, 2003, Acta Informatica.
Manfred Broy, Birgit Schieder, M. Broy, 1997, NATO ASI Series.
Manfred Broy, Radu Grosu, Thomas Stauner, 1998, FTRTFT.
Manfred Broy, Peter Liggesmeyer, Jürgen Münch, 2010, Software Engineering.
Manfred Broy, Stephan Merz, Katharina Spies, 1996, Lecture Notes in Computer Science.
Manfred Broy, Alexander Pretschner, Ingolf H. Krüger, 2007 .
Jan A. Bergstra, Manfred Broy, Martin Wirsing, 1981, MFCS.
Manfred Broy, Jan Marco Leimeister, Walter Brenner, 2017, Informatik-Spektrum.
Manfred Broy, Martin Wirsing, 1993, GI Jahrestagung.
Manfred Broy, 2001, Theor. Comput. Sci..
Manfred Broy, Walter Dosch, Martin Wirsing, 1985 .
Manfred Broy, M. Broy, 1992, Fundamenta Informaticae.
Manfred Broy, Ketil Stølen, Claus Dendorfer, 1993 .
Manfred Broy, Ingolf Krueger, Christoph Hofmann, 1997 .
Manfred Broy, M. Broy, 2003, SNPD.
Manfred Broy, 2004, Architecting Systems with Trustworthy Components.
Manfred Broy, Klaus Webers, M. Broy, 2013, ATZelektronik worldwide.
Manfred Broy, Dirk Taubner, Klaus Hardy Mühleck, 2010, Informatik-Spektrum.
Manfred Broy, Natarajan Shankar, Michel Bidoit, 1999, Lecture Notes in Computer Science.
Manfred Broy, Thomas Stauner, 1999, Informationstechnik Tech. Inform..
Manfred Broy, Alexander Pretschner, Bengt Jonsson, 2005 .
Manfred Broy, Andreas Rausch, Tilman Seifert, 2004, Informatik-Spektrum.
Manfred Broy, M. Broy, 2006, ICSE.
Manfred Broy, Thomas Streicher, 1992, Advances in Petri Nets: The DEMON Project.
Manfred Broy, Birgit Vogel-Heuser, Christian Diedrich, 2013, Autom..
Manfred Broy, M. Broy, 1980, Information Processing Letters.
Manfred Broy, Joachim W. Schmidt, 1999, Informatik-Spektrum.
Manfred Broy, Radu Grosu, Cornel Klein, 1997, FME.
Manfred Broy, 2007, SOFSEM.
Manfred Broy, M. Broy, 2003, 25th International Conference on Software Engineering, 2003. Proceedings..
Manfred Broy, Luqi, 1999 .
Manfred Broy, Martin Wirsing, M. Broy, 1980, Inf. Process. Lett..
Manfred Broy, Bernhard Rumpe, Ingolf Krüger, 2001, Informatik Forschung und Entwicklung.
Manfred Broy, Peter Liggesmeyer, Jonathan Streit, 2010, Informatik-Spektrum.
Manfred Broy, M. Broy, 1988, Comput. Lang..
Manfred Broy, Michal Walicki, 1995, Nord. J. Comput..
Manfred Broy, Andreas Rausch, Klaus Bergner, 1999, FBT.
Manfred Broy, Markus Herrmannsdoerfer, Stefano Merenda, 2010, Proceedings of the IEEE.
Manfred Broy, Bernhard Rumpe, 2018, Software & Systems Modeling.
Manfred Broy, M. Broy, 1986, Inf. Process. Lett..
Manfred Broy, Reinhard Stolle, Alexandre Saad, 2008, GI Jahrestagung.
Manfred Broy, Clemens A. Szyperski, Johannes Siedersleben, 2007, CoCoME.
Manfred Broy, Albrecht Schmidt, M. Broy, 2014, Computer.
Manfred Broy, M. Broy, 2018, The Essence of Software Engineering.
Manfred Broy, Ernst-Rüdiger Olderog, M. Broy, 2001, Handbook of Process Algebra.
Manfred Broy, Jens Zimmermann, Helmut Krcmar, 2011 .
Manfred Broy, M. Broy, 2016, Petri Nets.
Manfred Broy, Ingolf Krüger, Michael Meisinger, 2007, TSEM.
Manfred Broy, Bernhard Rumpe, Marco Kuhrmann, 2009, 2009 Fourth IEEE International Conference on Global Software Engineering.
Manfred Broy, Johannes Siedersleben, M. Broy, 2002, Informatik-Spektrum.
Manfred Broy, Martin Wirsing, M. Broy, 1982, Formal Description of Programming Concepts.
Manfred Broy, Radu Grosu, Peter Scholz, 1999, IFIP International Federation for Information Processing.
Manfred Broy, Birgit Penzenstadler, Jonas Eckhardt, 2013 .
Manfred Broy, M. Broy, 2005, Sci. Comput. Program..
Manfred Broy, Joost-Pieter Katoen, Alexander Pretschner, 2004, Model-Based Testing of Reactive Systems.
Manfred Broy, 1994, Formal Systems Specification.
Friedrich L. Bauer, Manfred Broy, Walter Dosch, 1985 .
Manfred Broy, 1998, Softw. Concepts Tools.
Manfred Broy, Pierre-Yves Schobbens, Pierre-Yves Schobbens, 1988 .
Manfred Broy, M. Broy, 2014, J. Comput. Syst. Sci..
Manfred Broy, Peter Hubwieser, M. Broy, 1997, LOG IN.
Manfred Broy, 1985, Wissensbasierte Systeme.
Manfred Broy, Joost-Pieter Katoen, Alexander Pretschner, 2004, Model-Based Testing of Reactive Systems.
Manfred Broy, 1995, MPC.
Manfred Broy, Albert Endres, 2009, Informatik-Spektrum.
Manfred Broy, Albert Endres, 2011, Informatik-Spektrum.
Manfred Broy, Bernhard Rumpe, Tom Maibaum, 1998 .
Manfred Broy, Bernhard Schätz, Ingolf Krüger, 2006, Software & Systems Modeling.
Manfred Broy, Ingolf Krüger, Radu Grosu, 1998, DIPES.
Manfred Broy, M. Broy, 2014, FPS@ETAPS.
Manfred Broy, M. Broy, 1986, Theor. Comput. Sci..
Manfred Broy, M. Broy, 2005, MEMOCODE.
Manfred Broy, 2018, SOFSEM.
Manfred Broy, M. Broy, 1981, ECI.
Manfred Broy, Janos Sztipanovits, Heinrich Daembkes, 2018, Software & Systems Modeling.
Manfred Broy, H. Dieter Rombach, 2002, Informatik-Spektrum.
Manfred Broy, 1988, Sci. Comput. Program..
Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, 1978, Program Construction.
Manfred Broy, Frank Houdek, Klaus Pohl, 2014, Computer Science - Research and Development.
Manfred Broy, Martin Wirsing, M. Broy, 2000, AMAST.
Manfred Broy, Dines Bjørner, Igor V. Pottosin, 1993, Lecture Notes in Computer Science.
Manfred Broy, M. Broy, 2011, Software and Systems Safety - Specification and Verification.
Manfred Broy, Bernhard Rumpe, María Victoria Cengarle, 2003 .
Friedrich L. Bauer, Manfred Broy, Walter Dosch, 1982, Inform. Spektrum.
Manfred Broy, Friedrich Ludwig Bauer, 1982 .
Manfred Broy, M. Broy, 2016, International Conference on Model-Driven Engineering and Software Development.
Manfred Broy, Brian Berenbach, 2009, Computer.
Manfred Broy, M. Broy, 1985, TAPSOFT, Vol.1.
Manfred Broy, M. Broy, 1989, NATO ASI Series.
Manfred Broy, Ernst Denert, M. Broy, 2001, Springer Berlin Heidelberg.
Manfred Broy, M. Broy, 2005, Mechanizing Mathematical Reasoning.
Tullio Vardanega, Manfred Broy, Wolfgang A. Halang, 2013, FedCSIS 2013.
Manfred Broy, Ingolf Krüger, Alexander Pretschner, 2007, Future of Software Engineering (FOSE '07).
Manfred Broy, Ketil Stølen, M. Broy, 2001, Monographs in Computer Science.
Manfred Broy, M. Broy, 2007, Science of Computer Programming.
Manfred Broy, Markus Pizka, Algebras Nato Advanced Study Insitute on Models, 2003 .
Manfred Broy, Dines Bjørner, Alexandre V. Zamulin, 2001 .
Manfred Broy, M. Broy, 1988, Concurrency.
Manfred Broy, Martin Wirsing, M. Broy, 1981, ICFPC.
Manfred Broy, Tobias Nipkow, Christian Prehofer, 1994, FSTTCS.
Manfred Broy, M. Broy, 2003, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings..
Manfred Broy, Stefan Jähnichen, 1995, Lecture Notes in Computer Science.
Manfred Broy, Bernhard Rumpe, M. Broy, 1998, Lecture Notes in Computer Science.
Manfred Broy, Michael Stal, Gustav Pomberger, 1998, Softw. Concepts Tools.
Manfred Broy, Joost-Pieter Katoen, Alexander Pretschner, 2005 .
Manfred Broy, M. Broy, 2013, International Symposium on Information Processing in Sensor Networks.
Manfred Broy, Joost-Pieter Katoen, Alexander Pretschner, 2004, Model-Based Testing of Reactive Systems.
Manfred Broy, Martin Wirsing, Rupert Gnatz, 1981, Informatik-Spektrum.
Manfred Broy, Bernhard Rumpe, M. Broy, 1998 .
Manfred Broy, Arnold Rudorfer, Klaus Beetz, 2007, Informatik-Spektrum.
Friedrich L. Bauer, Manfred Broy, Helmuth Partsch, 1978, SIGP.
Manfred Broy, Klaus Pohl, Heinrich Daembkes, 2016, Advanced Model-Based Engineering of Embedded Systems.
Manfred Broy, M. Broy, 1987, Distributed Computing.
Manfred Broy, Radu Grosu, Ingolf Krueger, 1998 .
Manfred Broy, Bernhard Rumpe, María Victoria Cengarle, 2009, UML 2 Semantics and Applications.
Manfred Broy, M. Broy, 2010, European Review.
Manfred Broy, Andreas Vogelsang, Klaus Pohl, 2012, Model-Based Engineering of Embedded Systems.
Edward A. Lee, Manfred Broy, Stavros Tripakis, 2013, SPIN.
Manfred Broy, M. Broy, 1994, Theory and Practice of Parallel Programming.
Manfred Broy, M. Broy, 1997, Softw. Concepts Tools.
Manfred Broy, Martin Wirsing, M. Broy, 1983, ADT.
Manfred Broy, Bran Selic, Radu Grosu, 1998, OOPSLA 1998.
Manfred Broy, M. Broy, 1997, Theor. Comput. Sci..
Manfred Broy, María Victoria Cengarle, M. V. Cengarle, 2011, Software & Systems Modeling.
Manfred Broy, Alexander Pretschner, Bengt Jonsson, 2004, Model-Based Testing of Reactive Systems.
Manfred Broy, Martin Wirsing, M. Broy, 1982, Acta Informatica.
Manfred Broy, Martin Wirsing, Peter Pepper, 1987, TOPL.
Manfred Broy, Monika Schmidt, Klaus Renzel, 1997 .
Manfred Broy, Bernhard Rumpe, Barbara Paech, 1997, Requirements Targeting Software and Systems Engineering.
Manfred Broy, Martin Wirsing, M. Broy, 1988, Bull. EATCS.
Manfred Broy, Klaus Pohl, Kim Lauenroth, 2010, Software Engineering.
Manfred Broy, Martin Wirsing, Helmuth Partsch, 1980, IFIP Congress.
Manfred Broy, Ralf Steinbrüggen, M. Broy, 1999 .
Manfred Broy, Bran Selic, Radu Grosu, 1999, Behavioral Specifications of Businesses and Systems.
Manfred Broy, Peter Liggesmeyer, Jürgen Münch, 2009, Software Engineering.
Manfred Broy, Ernst Denert, M. Broy, 2002 .
Manfred Broy, M. Broy, 2015, Inf. Comput..
Manfred Broy, M. Broy, 2000, Proceedings International Symposium on Multimedia Software Engineering.
Manfred Broy, Gianna Reggio, Egidio Astesiano, 1999, Algebraic Foundations of Systems Specification.
Manfred Broy, Gunther Schmidt, M. Broy, 1982 .
Manfred Broy, M. Broy, 2006, Essays Dedicated to Joseph A. Goguen.
Manfred Broy, 1991, Proceedings of the Sixth International Workshop on Software Specification and Design.
Manfred Broy, Peter Liggesmeyer, Jürgen Münch, 2008, Software Engineering.
Manfred Broy, 2015, Software, Services, and Systems.
Manfred Broy, Gregor Engels, Arndt Bode, 2008, Informatik-Spektrum.
Manfred Broy, Bernhard Schätz, Heinrich Hußmann, 1996, FME.
Manfred Broy, Martin Wirsing, Alain Quéré, 1979, Inf. Process. Lett..
Manfred Broy, Detlef Schmid, M. Broy, 2000, Informatik-Spektrum.
Manfred Broy, 1980, Textverarbeitung und Informatik.
Manfred Broy, 2007, 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007).
Manfred Broy, Bernhard Steffen, Klaus Havelund, 2018, ISoLA.
Manfred Broy, M. Broy, 1992, IFIP Congress.
Manfred Broy, M. Broy, 2005, Formal Aspects of Computing.
Manfred Broy, Martin Wirsing, Bernhard Möller, 1986, Sci. Comput. Program..
Manfred Broy, Ingolf Krüger, Alexander Pretschner, 2007, Proceedings of the IEEE.
Manfred Broy, Thomas Streicher, M. Broy, 1986, Mathematical Models for the Semantics of Parallelism.
Manfred Broy, Ingolf Krüger, Robert Sandner, 2004, SoftSpez Final Report.
Manfred Broy, Dines Bjørner, Alexandre V. Zamulin, 2001, Lecture Notes in Computer Science.
Manfred Broy, Martin Wirsing, M. Broy, 1982 .
Manfred Broy, Michael Mendler, Gerald Lüttgen, 2004, Formal Aspects of Computing.
Manfred Broy, Walter Dosch, Martin Wirsing, 1985 .
Manfred Broy, Bernhard Schätz, Peter Braun, 2007, Informatik - Forschung und Entwicklung.
Manfred Broy, Martin Wirsing, Wolfgang Reif, 1994 .
Manfred Broy, J. van Leeuwen, Jan van Leeuwen, 2003, Lecture Notes in Computer Science.
Manfred Broy, Daniel Méndez Fernández, Lars Heinemann, 2010 .
Manfred Broy, Andreas Rausch, M. Broy, 2002 .
Manfred Broy, M. Broy, 1995 .
Manfred Broy, M. Broy, 1995 .
Manfred Broy, 1992, NATO ASI Series.