Home Advanced Search

Advanced Search - Page 1

Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Peter Csaba Ölveczky, Gwen Salaün
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
  • PDF
  • English
  • Year: 2017
  • Author: Peter Csaba Ölveczky (auth.)
Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
  • PDF
  • English
  • Year: 2019
  • Author: Cyrille Artho, Peter Csaba Ölveczky
Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
  • PDF
  • English
  • Year: 2018
  • Author: Kyungmin Bae, Peter Csaba Ölveczky
Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
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 Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
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 Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
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 Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings (Lecture Notes in Computer Science)
Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings (Lecture Notes in Computer Science)
  • EPUB
  • English
  • Year: 2021
  • Author: Gwen Salaün (editor), Anton Wijs (editor)
Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers
  • PDF
  • English
  • Year: 2018
  • Author: Manuel Mazzara, Iulian Ober, Gwen Salaün
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
  • PDF
  • English
  • Year: 2015
  • Author: Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott (eds.)
search