Home Advanced Search

Advanced Search - Page 1

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.)
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: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Joost-Pieter Katoen (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.)
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
  • PDF
  • English
  • Year: 2013
  • Author: Reiner Hähnle (auth.), Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue (eds.)
Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
  • PDF
  • English
  • Year: 2003
  • Author: Erika Ábrahám, Frank S. de Boer (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)
It's All About Coordination
  • PDF
  • English
  • Year: 2018
  • Author: Frank de Boer, Marcello Bonsangue, Jan Rutten
Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
  • PDF
  • English
  • Year: 2012
  • Author: David von Oheimb, Sebastian Mödersheim (auth.), Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (eds.)
Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures
  • PDF
  • English
  • Year: 2009
  • Author: Christine Mayr, Uwe Zdun, Schahram Dustdar (auth.), Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine (eds.)
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
  • PDF
  • English
  • Year: 2007
  • Author: Lars Frantzen, Jan Tretmans (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)
search