Home Advanced Search

Advanced Search - Page 1

International Symposium on Fundamentals of Software Engineering: International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Harald Fecher (auth.), Farhad Arbab, Marjan Sirjani (eds.)
Fundamentals of Software Engineering: Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: J. C. M. Baeten, P. J. L. Cuijpers, B. Luttik, P. J. A. van Tilburg (auth.), Farhad Arbab, Marjan Sirjani (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.)
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.)
Fundamentals of Software Engineering: 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers
  • PDF
  • English
  • Year: 2015
  • Author: Mehdi Dastani, Marjan Sirjani (eds.)
Fundamentals of Software Engineering: 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers
  • PDF
  • English
  • Year: 2017
  • Author: Mehdi Dastani, Marjan Sirjani (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.)
Software engineering and formal methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4?8, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: Cimatti, Alessandro; Sirjani, Marjan
Coordination Models and Languages: 24th IFIP WG 6.1 International Conference, COORDINATION 2022 Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022 Lucca, Italy, June 13–17, 2022 Proceedings
  • PDF
  • English
  • Year: 2022
  • Author: Maurice H. ter Beek, Marjan Sirjani
search