MPG.eBooks - Author Search Results

Cover Image

1

Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude

by Ölveczky, Peter Csaba
Published 2017

Springer London

Cover Image

2

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

Published 2010

Springer Berlin Heidelberg

Other Authors: “...Ölveczky, Peter Csaba...”

Cover Image

3

Formal Techniques for Safety-Critical Systems : 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Published 2016

Springer International Publishing

Other Authors: “...Ölveczky, Peter Csaba...”

Cover Image

4

Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings

Published 2019

Springer International Publishing

Other Authors: “...Ölveczky, Peter Csaba...”

Cover Image

5

Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Published 2017

Springer International Publishing

Other Authors: “...Ölveczky, Peter Csaba...”

Cover Image

6

Formal Techniques for Safety-Critical Systems : Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Published 2015

Springer International Publishing

Other Authors: “...Ölveczky, Peter Csaba...”

Cover Image

7

Formal Aspects of Component Software : 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Published 2018

Springer International Publishing

Other Authors: “...Ölveczky, Peter Csaba...”

Cover Image

8

Formal Techniques for Safety-Critical Systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers

Published 2019

Springer International Publishing

Other Authors: “...Ölveczky, Peter Csaba...”

Cover Image

9

Formal Techniques for Safety-Critical Systems : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Published 2014

Springer International Publishing

Other Authors: “...Ölveczky, Peter Csaba...”

Cover Image

10

Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Published 2012

Springer Berlin Heidelberg

Other Authors: “...Ölveczky, Peter Csaba...”

Cover Image

11

Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Published 2016

Springer International Publishing

Other Authors: “...Ölveczky, Peter Csaba...”

Cover Image

12

Theoretical Aspects of Computing – ICTAC 2021 : 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings

Published 2021

Springer International Publishing

Other Authors: “...Ölveczky, Peter Csaba...”

Cover Image

13

Logic, Rewriting, and Concurrency : Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Published 2015

Springer International Publishing

Other Authors: “...Ölveczky, Peter Csaba...”