Home Advanced Search

Advanced Search - Page 1

Complex Systems Design & Management: Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012
  • PDF
  • English
  • Year: 2013
  • Author: Manfred Broy (auth.), Marc Aiguier, Yves Caseau, Daniel Krob, Antoine Rauzy (eds.)
Complex Systems Design & Management: Proceedings of the First International Conference on Complex System Design & Management CSDM 2010
  • PDF
  • English
  • Year: 2010
  • Author: Farhad Arbab (auth.), Marc Aiguier, Francis Bretaudeau, Daniel Krob (eds.)
Complex Systems Design & Management: Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013
  • PDF
  • English
  • Year: 2014
  • Author: John Fitzgerald, Peter Gorm Larsen, Jim Woodcock (auth.), Marc Aiguier, Frédéric Boulanger, Daniel Krob, Clotilde Marchal (eds.)
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report
  • DJVU
  • English
  • Year: 1995
  • Author: Manfred Broy, Martin Wirsing (auth.), Manfred Broy, Stefan Jähnichen (eds.)
Formal Systems Specification: The RPC-Memory Specification Case Study
  • DJVU
  • English
  • Year: 1996
  • Author: Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)
Urbanisation SOA et BPM: le point de vue d'un DSI
  • PDF
  • French
  • Year: 2008
  • Author: Caseau, Yves
Methods of Programming: Selected Papers on the CIP-Project
  • DJVU
  • English
  • Year: 1991
  • Author: Wolfgang Hesse (auth.), Manfred Broy, Martin Wirsing (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.)
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.)
search