Home Advanced Search

Advanced Search - Page 1

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 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 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.)
Software Composition: 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Farhad Arbab (auth.), Markus Lumpe, Wim Vanderperren (eds.)
Coordination Models and Languages: 5th International Conference, COORDINATION 2002 York, UK, April 8–11, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Perdita Stevens (auth.), Farhad Arbab, Carolyn Talcott (eds.)
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: José Meseguer (auth.), Farhad Arbab, Peter Csaba Ölveczky (eds.)
Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November2, 2004, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Farhad Arbab, Joost N. Kok (auth.), Tiziana Margaria, Bernhard Steffen (eds.)