Home Advanced Search

Advanced Search - Page 1

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.)
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.)
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.)
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.)
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.)
Fundamentals of Software Engineering: 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Jurriaan Rot, Frank de Boer, Marcello Bonsangue (auth.), Farhad Arbab, Marjan Sirjani (eds.)