Home Advanced Search

Advanced Search - Page 1

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.)
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: 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.)
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 Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Joost-Pieter Katoen (auth.), Gwen Salaün, Bernhard Schätz (eds.)
Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Bengt Jonsson, Wang Yi (auth.), Joost-Pieter Katoen (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.)
Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Michael R. Lowry (auth.), Joost-Pieter Katoen, Perdita Stevens (eds.)
Formal Modeling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Joost-Pieter Katoen (auth.), Jean-François Raskin, P. S. Thiagarajan (eds.)
Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures
  • PDF
  • English
  • Year: 2001
  • Author: Ulrich Herzog (auth.), Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)
search