Home Advanced Search

Advanced Search - Page 1

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.)
Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
  • PDF
  • English
  • Year: 2013
  • Author: Kyungmin Bae, José Meseguer, Peter Csaba Ölveczky (auth.), Corina S. Păsăreanu, Gwen Salaün (eds.)
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
  • PDF
  • English
  • Year: 2017
  • Author: Peter Csaba Ölveczky (auth.)
Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Natarajan Shankar (auth.), Peter Csaba Ölveczky (eds.)
Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
  • PDF
  • English
  • Year: 2017
  • Author: Cyrille Artho, Peter Csaba Ölveczky (eds.)
Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
  • PDF
  • English
  • Year: 2016
  • Author: Christiano Braga, Peter Csaba Ölveczky (eds.)
Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
  • PDF
  • English
  • Year: 2016
  • Author: Cyrille Artho, Peter Csaba Ölveczky (eds.)
Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
  • PDF
  • English
  • Year: 2014
  • Author: Cyrille Artho, Peter Csaba Ölveczky (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.)
search