Home Advanced Search

Advanced Search - Page 1

Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Manfred Broy, María Victoria Cengarle, Eva Geisberger (auth.), Radu Calinescu, David Garlan (eds.)
agendaCPS: Integrierte Forschungsagenda Cyber-Physical Systems
  • PDF
  • German
  • Year: 2012
  • Author: Dr. Eva Geisberger, Prof. Dr. Dr. h. c. Manfred Broy (auth.), Dr. Eva Geisberger, Prof. Dr. Dr. h. c. Manfred Broy (eds.)
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Radu Calinescu, Bernhard Rumpe (eds.)
Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme
  • PDF
  • German
  • Year: 2010
  • Author: Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)
Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2008
  • Author: K. Venkatesh Prasad, Thomas J. Giuli, David Watson (auth.), Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.)
Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
  • PDF
  • English
  • Year: 2015
  • Author: Domenico Bianculli, Radu Calinescu, Bernhard Rumpe (eds.)
Projektorganisation und Management im Software Engineering
  • PDF
  • German
  • Year: 2013
  • Author: Manfred Broy, Marco Kuhrmann (auth.)
Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School
  • DJVU
  • English
  • Year: 1986
  • Author: Broy, Manfred (ed.)
search